Abstract | ||
---|---|---|
Model checking has won some industrial acceptance in debugging designs. The- orem proving and formal verification are less popular. An app roach built around automated abstractions could integrate theorem proving with model checking in an acceptable way and provide a bridge between refutation and verification. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/978-0-387-35533-7_23 | FORTE |
Keywords | Field | DocType |
theorem proving,assurance,model checking,formal models,debugging.,formal verification | Formal equivalence checking,Model checking,Abstraction,Computer science,Automated theorem proving,Automated proof checking,Runtime verification,Theoretical computer science,Debugging,Formal verification | Conference |
ISBN | Citations | PageRank |
0-7923-7968-3 | 2 | 0.44 |
References | Authors | |
9 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
John Rushby | 1 | 2459 | 235.69 |