DocumentCode
3287664
Title
Table of contents
fYear
2011
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods in Computer-Aided Design (FMCAD), 2011
Conference_Location
Austin, TX
Print_ISBN
978-1-4673-0896-0
Type
conf
Filename
6148918
Link To Document