Overview	Preferences	Compile
Verify -> General	Verify -> Propositional Logic	Verify -> Presburger Arithmetic
Verify -> Formulas	Verify -> Kripke Structures	Verify -> Model Checking
Synthesize	Customize	Perspective
XML	C	Verilog