Title :
Table of contents
fDate :
Oct. 30 2011-Nov. 2 2011
Abstract :
The following topics are dealt with: verifying concurrent program; end-to-end formal using simulation-based coverage; specification based testing; theorem proving for verification; pseudo-boolean solving by incremental translation to SAT; and hardware model checking.
Keywords :
Boolean functions; CAD; computability; formal specification; formal verification; theorem proving; FMCAD; SAT; computer-aided design; concurrent program verifcation; formal method; hardware model checking; pseudo-Boolean solving; simulation-based coverage; specification based testing; theorem proving;
Conference_Titel :
Formal Methods in Computer-Aided Design (FMCAD), 2011
Conference_Location :
Austin, TX
Print_ISBN :
978-1-4673-0896-0
