Extending extended vacuity (2004)

Cached

Download Links

by Arie Gurfinkel , Marsha Chechik
Venue:In 5th FMCAD, LNCS 2212
Citations:18 - 4 self

Active Bibliography

8 How thorough is thorough enough – Arie Gurfinkel, Marsha Chechik - 2005
2 Data Structures for Symbolic Multi-Valued Model-Checking – Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Lai, Steve Easterbrook - 2006
2 Enhanced vacuity detection in linear temporal logic – Alon Flaisher - 2004
4 Finding Environment Guarantees – Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
20 How vacuous is vacuous – Arie Gurfinkel, Marsha Chechik - 2004
24 A game-based framework for CTL counterexamples and 3-valued abstraction-refinement – Sharon Shoham, Orna Grumberg - 2003
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement – unknown authors
19 Why Waste a Perfectly Good Abstraction – Arie Gurfinkel, Marsha Chechik - 2006