One of the goals of the Ironclad project is to allow systems people to be able to use formal-verification tools. But writing code to be formally verifiable is still a fairly different way of programming than most systems folks are used to. So this document will help you learn how to use the tool set we've assembled.

Obtaining Tools
Initial build
Building an App
Writing Dafny Code
Using DafnyCC
Using SymDiff
Tool components
Boot server
Test client

Last edited Oct 14, 2014 at 10:55 PM by howell, version 2


No comments yet.