Title :
Formal Methods in Computer Aided Design-Title
Abstract :
The following topics are dealt with: formal methods; computer aided design; hardware verification; SAT-based methods; software verification; model checking; automata theory; theorem proving; and testing
Keywords :
CAD; automata theory; computability; formal verification; theorem proving; SAT-based methods; automata theory; computer aided design; formal methods; hardware verification; model checking; software verification; testing; theorem proving;
Conference_Titel :
Formal Methods in Computer Aided Design, 2006. FMCAD '06
Conference_Location :
San Jose, CA
Print_ISBN :
0-7695-2707-8
DOI :
10.1109/FMCAD.2006.17
