Comment by rramadass
4 days ago
"Verified Design-By-Contract" has been implemented for C/C++ (annotated subset) by David Crocker in his Escher C/C++ Verifier - https://news.ycombinator.com/item?id=50108206
4 days ago
"Verified Design-By-Contract" has been implemented for C/C++ (annotated subset) by David Crocker in his Escher C/C++ Verifier - https://news.ycombinator.com/item?id=50108206
No comments yet
Contribute on Hacker News ↗