Sciweavers

63
Voted
DATE
2009
IEEE
93views Hardware» more  DATE 2009»
15 years 3 months ago
Scalable liveness checking via property-preserving transformations
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
Jason Baumgartner, Hari Mony