todo
Notes related to Ghost code
Papers related to Ghost code
- VeriFast: A powerful, sound, predictable, fast verifier for C and Java [jacobs:nfm:2011]
- VeriFast: Imperative programs as proofs [jacobs:vstte:2010]
- Verification of concurrent programs with Chalice [leino:fosad:2007]
- Developing verified programs with Dafny [leino:icse:2013]