DocumentCode
2787356
Title
Formal Methods in Computer Aided Design-Title
fYear
2006
fDate
12-16 Nov. 2006
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods in Computer Aided Design, 2006. FMCAD '06
Conference_Location
San Jose, CA
Print_ISBN
0-7695-2707-8
Type
conf
DOI
10.1109/FMCAD.2006.17
Filename
4020995
Link To Document