13 search results - page 1 / 3 » Kodkod: A Relational Model Finder |
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
ITP
2010
13 years 8 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
JNSM
2008
13 years 4 months ago
2008
There is a large conceptual gap between end-to-end infrastructure requirements and detailed component configuration implementing those requirements. Today, this gap is manually br...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...