March 07, 2008 formal methods in D | ||||
|---|---|---|---|---|
| ||||
 | Has anyone done formal code proofs of D code. I've got an idea for a project that might need it and am wondering if anyone has any pointers/stories/etc. | |||
Permalink
ReplyMarch 07, 2008 Re: formal methods in D | ||||
|---|---|---|---|---|
| ||||
 Posted in reply to BCS | BCS wrote:
> Has anyone done formal code proofs of D code. I've got an idea for a project that might need it and am wondering if anyone has any pointers/stories/etc.
I /think/ Andrei mentioned it a few times.
| |||
Copyright © 1999-2021 by the D Language Foundation