Title | ||
---|---|---|
Verifying properties of hardware and software by predicate abstraction and model checking |
Abstract | ||
---|---|---|
This tutorial describes automatic techniques for formally verifying hardware and software by creating Boolean abstractions of the underlying unbounded system state variables. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1109/ICCAD.2004.1382615 | ICCAD |
Keywords | Field | DocType |
Boolean functions,formal verification,hardware-software codesign,Boolean abstractions,decision procedures,formal verification,hardware property verification,model checking,predicate abstraction,software property verification,symbolic execution,underlying unbounded system state variables | Formal equivalence checking,Model checking,Programming language,Predicate abstraction,Computer science,Software,Formal methods,Computer hardware,Software verification,Symbolic trajectory evaluation,Formal verification | Conference |
ISSN | ISBN | Citations |
1092-3152 | 0-7803-8702-3 | 1 |
PageRank | References | Authors |
0.36 | 6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Randal E. Bryant | 1 | 9204 | 1194.64 |
Sriram K. Rajamani | 2 | 3386 | 246.27 |