Skip to content

DirectVCGenDescription

Jump to bottom Edit New page
Attila Sukosd edited this page Mar 15, 2013 · 3 revisions

The MOBIUS Direct Verification Condition Generator is a tool built upon Bico, Bicolano, the Javafe parser, as well as the Mobius PVE's prover backend. It is built around two verification condition generators, one over source code and one over bytecode.

Version: 3 Time: Tue Apr 1 13:55:55 2008 Author: dcochran (dcochran) IP: 193.1.132.32

Add a custom footer
Add a custom sidebar

Clone this wiki locally