DocumentCode
651300
Title
Table of contents
fYear
2013
fDate
20-23 Oct. 2013
Abstract
The following topics are dealt with: temporal logic specification; decision procedure enhancement; model checking; interpolation; quantifier elimination; digital verification; analog systems; satisfiability; embedded software verification; IC3 and debugging; and SAT-SMT.
Keywords
computability; embedded systems; interpolation; program debugging; program verification; temporal logic; IC3 algorithm; SAT-SMT; analog systems; decision procedure enhancement; digital verification; embedded software verification; interpolation; model checking; program debugging; quantifier elimination; satisfiability; temporal logic specification;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods in Computer-Aided Design (FMCAD), 2013
Conference_Location
Portland, OR
Type
conf
DOI
10.1109/FMCAD.2013.6679384
Filename
6679384
Link To Document