Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
178 | Marko Samer, Helmut Veith |
Parameterized Vacuity. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
168 | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
Temporal Antecedent Failure: Refining Vacuity. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
Vacuity, SVA, Antecedent failure, Model checking, Temporal logic, Regular expressions, PSL |
159 | Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi |
A Framework for Inherent Vacuity. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
159 | Jocelyn Simmonds, Jessica Davies 0001, Arie Gurfinkel, Marsha Chechik |
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
159 | Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi |
Regular Vacuity. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
150 | Hana Chockler, Ofer Strichman |
Before and after vacuity. |
Formal Methods Syst. Des. |
2009 |
DBLP DOI BibTeX RDF |
Vacuity, Model-checking, Complexity |
140 | Hana Chockler, Ofer Strichman |
Easier and More Informative Vacuity Checks. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
140 | Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi |
Enhanced Vacuity Detection in Linear Temporal Logic. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
121 | Kedar S. Namjoshi |
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
121 | Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan 0001, Scott A. Smolka |
Vacuity Checking in the Modal Mu-Calculus. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
114 | Orna Kupferman |
Sanity Checks in Formal Verification. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
114 | Arie Gurfinkel, Marsha Chechik |
How Vacuous Is Vacuous? |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
102 | Hana Chockler, Arie Gurfinkel, Ofer Strichman |
Beyond Vacuity: Towards the Strongest Passing Formula. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
102 | Arie Gurfinkel, Marsha Chechik |
Extending Extended Vacuity. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
102 | Orna Kupferman, Moshe Y. Vardi |
Vacuity detection in temporal model checking. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Vacuous satisfaction, Model checking |
102 | Orna Kupferman, Moshe Y. Vardi |
Vacuity Detection in Temporal Model Checking. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
64 | Thomas Ball, Orna Kupferman |
Vacuity in Testing. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
64 | Rachel Tzoref, Orna Grumberg |
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Marko Samer, Helmut Veith |
On the Notion of Vacuous Truth. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Mitra Purandare, Fabio Somenzi |
Vacuum Cleaning CTL Formulae. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
46 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh |
Efficient Detection of Vacuity in ACTL Formulaas. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta |
Test generation games from formal specifications. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
vacuity, test generation, realizability |
28 | Jonathan Edwards, Daniel Jackson 0001, Emina Torlak |
A type system for object models. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
ZOCL, relational logic, vacuity detection, type systems, specification languages, object models, alloy |
28 | Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi |
Dos and don'ts of CTL state coverage estimation. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
vacuity detection, model checking, state coverage |
27 | John Rushby |
A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Leonardo Rebouças de Carvalho, Felipe L. S. Mendes, Jefferson Chaves, Marcos C. Lima, Flavio Elias Gomes de Deus, Aletéia P. F. Araújo, Flavio de Barros Vidal |
Deep-vacuity: A Proposal of a Machine Learning Platform based on High-performance Computing Architecture for Insights on Government of Brazil Official Gazettes. |
WEBIST |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Shan Zhou, Xu Zhi Li, Jin Bo Wang, Jun Yuan, Jiao Jia |
Efficient Automaton Theoretical Vacuity Detection for Formal Properties. |
IEEE Trans. Reliab. |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Roderick Bloem, Hana Chockler, Masoud Ebrahimi 0002, Ofer Strichman |
Vacuity in synthesis. |
Formal Methods Syst. Des. |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Jakob Piribauer, Christel Baier, Nathalie Bertrand 0001, Ocan Sankur |
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. |
CONCUR |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Martin R. Albrecht, Rikke Bjerg Jensen |
The Vacuity of the Open Source Security Testing Methodology Manual. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
27 | Shahar Maoz, Rafi Shalom |
Inherent vacuity for GR(1) specifications. |
ESEC/SIGSOFT FSE |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Martin R. Albrecht, Rikke Bjerg Jensen |
The Vacuity of the Open Source Security Testing Methodology Manual. |
SSR |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Gili Bielous, Orna Kupferman |
Coverage and Vacuity in Network Formation Games. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Hana Chockler, Shibashis Guha, Orna Kupferman |
Timed Vacuity. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos |
Vacuity aware falsification for MTL request-response specifications. |
CASE |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Van Cuong Kieu, Dominique Stutzmann, Nicole Vincent |
Vacuity Measure for Handwritten Character Analysis. |
ICDAR |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Fabrizio Maria Maggi, Marco Montali, Claudio Di Ciccio, Jan Mendling |
Semantical Vacuity Detection in Declarative Process Mining. |
BPM |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah |
Vacuity in practice: temporal antecedent failure. |
Formal Methods Syst. Des. |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Hila Gonen, Orna Kupferman |
Inherent Vacuity in Lattice Automata. |
Fields of Logic and Computation II |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin |
Semantic Vacuity. |
TIME |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Hana Chockler, Arie Gurfinkel, Ofer Strichman |
Beyond vacuity: towards the strongest passing formula. |
Formal Methods Syst. Des. |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Shoham Ben-David, Orna Kupferman |
A Framework for Ranking Vacuity Results. |
ATVA |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Arie Gurfinkel, Marsha Chechik |
Robust Vacuity for Branching Temporal Logic. |
ACM Trans. Comput. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Jocelyn Simmonds, Jessica Davies 0001, Arie Gurfinkel, Marsha Chechik |
Exploiting resolution proofs to speed up LTL vacuity detection for BMC. |
Int. J. Softw. Tools Technol. Transf. |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Arie Gurfinkel, Marsha Chechik |
Robust Vacuity for Branching Temporal Logic |
CoRR |
2010 |
DBLP BibTeX RDF |
|
27 | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
Vacuity analysis for property qualification by mutation of checkers. |
DATE |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Mitra Purandare |
Coverage, Vacuity, and Interpolation in Model Checking. |
|
2010 |
RDF |
|
27 | Joel Kenton Press |
The scientific use of 'representation' and 'function': avoiding explanatory vacuity. |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
Vacuity Analysis by Fault Simulation. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Orna Kupferman, Wenchao Li 0001, Sanjit A. Seshia |
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Marko Samer, Helmut Veith |
From Temporal Logic Queries to Vacuity Detection. |
VISSAS |
2005 |
DBLP BibTeX RDF |
|
27 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh |
Efficient Detection of Vacuity in Temporal Model Checking. |
Formal Methods Syst. Des. |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel |
Finding Environment Guarantees. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook |
Data structures for symbolic multi-valued model-checking. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
Symbolic model-checking, Decision diagrams, Multi-valued logic |
19 | Gordon Fraser 0001, Franz Wotawa |
Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Syed Naqvi, Michel Riguidel |
Grid Security Services Simulator (G3S) - A Simulation Tool for the Design and Analysis of Grid Security Solutions. |
e-Science |
2005 |
DBLP DOI BibTeX RDF |
|