Title :
Table of contents
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;
Conference_Titel :
Formal Methods in Computer-Aided Design (FMCAD), 2013
Conference_Location :
Portland, OR
DOI :
10.1109/FMCAD.2013.6679384
