DocumentCode
2646533
Title
[Title page]
fYear
2009
fDate
15-18 Nov. 2009
Abstract
The paper deals with the following topics: model checking, software verification, satisfiability modulo theory,computer games, quantitative reasoning, guarantee reasoning, equivalence checking, program debugging, formal methods,computer aided design, etc.
Keywords
CAD; computability; formal specification; inference mechanisms; program debugging; program verification; computer aided design; computer games; equivalence checking; formal methods; guarantee reasoning; model checking; program debugging; quantitative reasoning; satisfiability modulo theory; software verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods in Computer-Aided Design, 2009. FMCAD 2009
Conference_Location
Austin, TX
Print_ISBN
978-1-4244-4966-8
Type
conf
DOI
10.1109/FMCAD.2009.5351114
Filename
5351114
Link To Document