Search results for "kodkod"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul	Declarative Infrastructure Configuration Synthesis and Debugging.	J. Netw. Syst. Manag.	2008	DBLP DOI BibTeX RDF	Requirement solver, Model finder, Diagnosis, Partial evaluation, SAT solver, Troubleshooting
37	Daniel Plagge, Michael Leuschel	Validating B, Z and TLA + Using ProB and Kodkod.	FM	2012	DBLP DOI BibTeX RDF
37	Markus Iser, Mana Taghdiri, Carsten Sinz	Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation).	SAT	2012	DBLP DOI BibTeX RDF
37	Ragnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens	Assessing the Kodkod Model Finder for Resolving Model Inconsistencies.	ECMFA	2011	DBLP DOI BibTeX RDF
37	Jasmin Christian Blanchette	Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod.	LPAR short papers(Yogyakarta)	2010	DBLP DOI BibTeX RDF
37	Emina Torlak, Daniel Jackson 0001	Kodkod: A Relational Model Finder.	TACAS	2007	DBLP DOI BibTeX RDF
36	Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias	Analysis of invariants for efficient bounded verification.	ISSTA	2010	DBLP DOI BibTeX RDF	dynalloy, kodkod, sat-based code analysis, static analysis, alloy
26	Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif	A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems.	ATC	2009	DBLP DOI BibTeX RDF
26	Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory	A specification-based approach to testing software product lines.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca
26	Engin Uzuncaova, Sarfraz Khurshid	Kato: A Program Slicing Tool for Declarative Specifications.	ICSE	2007	DBLP DOI BibTeX RDF

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