Skip to content

FreeBoogieVCGeneratorExplanation

Jump to bottom Edit New page
Attila Sukosd edited this page Mar 15, 2013 · 1 revision

The Freeboogie VC generator is meant to replicate and extend the VC generator found in the original Boogie tool from Microsoft Research. In particular, it will support separation logic operators natively in an extended version of BoogiePL. As this VC generator is still under development, it will not be described here in detail.

Version: 1 Time: Fri Mar 28 13:00:41 2008 Author: dcochran (dcochran) IP: 193.1.132.32

Add a custom footer
Add a custom sidebar
Clone this wiki locally