Cascade User Manual

From CVC4
Revision as of 10:16, 12 December 2012 by Wwang (Talk | contribs) (→‎Control File)

Jump to: navigation, search

Getting Cascade

Using Cascade

Control File

Instead of inserting annotations in the source code, Cascade keeps them in a control file in order to leaves the source code clean. The control file is in the simple XML format, which serves as the guidance of verification. In this section, we will introduce the elements included control files by showing how to verify some sample codes in Cascade.

Basic Structure

Retrieved from "http://cvc4.cs.stanford.edu/w/index.php?title=Cascade_User_Manual&oldid=4123"