Search results for "counterexample-guided refinement"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tachio Terauchi	Dependent types from counterexamples.	POPL	2010	DBLP DOI BibTeX RDF	interpolation, type inference, dependent types, counterexamples, intersection types
1	Ranjit Jhala, Rupak Majumdar	Software model checking.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	counterexample-guided refinement, enumerative and symbolic model checking, abstraction, safety, liveness, Software model checking
1	Yan Chen, Fei Xie, Jin Yang	Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.	DAC	2008	DBLP DOI BibTeX RDF	automatic abstraction refinement, generalized symbolic trajectory evaluation, model checking
1	Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic	Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.	CAV	2007	DBLP DOI BibTeX RDF
1	Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic	A Counterexample-Guided Refinement Tool for Open Procedural Programs.	SPIN	2006	DBLP DOI BibTeX RDF	CSP, software model checking, game semantics, abstraction refinement, FDR
1	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald	Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.	Int. J. Found. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Counterexample-Guided Control.	ICALP	2003	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald	Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.	TACAS	2003	DBLP DOI BibTeX RDF

Displaying result #1 - #8 of 8 (100 per page; Change: )