Search results for "vacuity"

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