verifast-docs

VeriFast Docs

This repository contains some work-in-progress documentation for VeriFast.

• FAQ
• C grammar with VeriFast annotations
• Java grammar with VeriFast annotations
• Symbolic execution

See also:

• The VeriFast Tutorial
• Featherweight VeriFast (Slides, handouts, Coq proof)
• Scientific papers on the various underlying ideas