Abstract | ||
---|---|---|
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely upon a variety of synthesis and abstraction techniques for speed and scalability. However, little prior work has addressed the applicability of such transformations in the domain of liveness checking. In this paper, we provide the theoretical foundation to enable the efficient use of a variety of (possibly customized) transformations in a liveness-checking framework. We demonstrate the practical utility of this theory on a variety of complex verification problems. |
Year | Venue | Keywords |
---|---|---|
2009 | DATE | safety property checking,logic transformation,scalable liveness,property-preserving transformation,practical utility,industrial-strength verification solution,efficient use,prior work,liveness checking,liveness-checking framework,abstraction technique,complex verification problem,virtualization,probability density function,scalability,hardware,testing,redundancy,cost accounting,formal verification,logic gates,registers,component,logic design,engines,data mining,logic programming |
Field | DocType | ISSN |
Virtualization,Logic synthesis,Logic gate,Computer science,Theoretical computer science,Real-time computing,Redundancy (engineering),Logic programming,Scalability,Formal verification,Distributed computing,Liveness | Conference | 1530-1591 |
Citations | PageRank | References |
2 | 0.40 | 15 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jason Baumgartner | 1 | 313 | 23.36 |
Hari Mony | 2 | 186 | 13.30 |