Abstract :
The following topics are dealt with: synthesis and verification; protocols and parametetrized verification; satisfiability modulo theories; abstraction and refinement; program analysis; requirements; Boolean and inductive reasoning.
Keywords :
CAD; formal verification; Boolean reasoning; CAD formal methods; abstraction; computer aided design; inductive reasoning; parameterized verification; program analysis; protocols; refinement; requirements; satisfiability modulo theories; synthesis;
Conference_Titel :
Formal Methods in Computer-Aided Design, 2008. FMCAD '08
Conference_Location :
Portland, OR
Print_ISBN :
978-1-4244-2735-2
DOI :
10.1109/FMCAD.2008.ECP.1
