Extending extended vacuity (2004)

Cached

Download Links

by Arie Gurfinkel , Marsha Chechik
Venue:In 5th FMCAD, LNCS 2212
Citations:16 - 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
2 Finding Environment Guarantees – Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
17 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
16 Why Waste a Perfectly Good Abstraction – Arie Gurfinkel, Marsha Chechik - 2006
3 Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC – Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik
3 LTL Generalized Model Checking Revisited – Patrice Godefroid, Nir Piterman
Abstraction Techniques for Verification of . . . – Constantin Enea - 2011
Towards a Notion of Unsatisfiable Cores for LTL – Viktor Schuppan - 2010
20 LTL Satisfiability Checking – Kristin Y. Rozier, Moshe Y. Vardi
Robust Vacuity for Branching Temporal Logic – Arie Gurfinkel, Marsha Chechik
13 3-valued abstraction: More precision at less cost – Sharon Shoham, Orna Grumberg - 2006
17 Regular vacuity – Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi - 2005
Model Checking with Multi-Valued Logics – Glenn Bruns Patrice, Patrice Godefroid - 2003
50 Multi-Valued Symbolic Model-Checking – Marsha Chechik, Benet Devereux, Steve Easterbrook, Arie Gurfinkel - 2003
11 Weak alphabet merging of partial behaviour models – Dario Fischbein, Greg Brunet, Marsha Chechik, Sebastian Uchitel, et al. - 2011
4 VaqUoT: A Tool for Vacuity Detection – Mihaela Gheorghiu, Arie Gurfinkel - 2005