The following pages link to Kodkod: A Relational Model Finder (Q5758136):
Displaying 20 items.
- Kodkod (Q19148) (← links)
- Monotonicity inference for higher-order formulas (Q438558) (← links)
- Automated flaw detection in algebraic specifications (Q616853) (← links)
- Alloy*: a general-purpose higher-order relational constraint solver (Q2009609) (← links)
- CompoSAT: specification-guided coverage for model finding (Q2024373) (← links)
- Handling transitive relations in first-order automated reasoning (Q2069868) (← links)
- Pardinus: a temporal relational model finder (Q2102939) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- Model Finding for Recursive Functions in SMT (Q2817915) (← links)
- Specification-Based Program Repair Using SAT (Q3000646) (← links)
- Automatic Proof and Disproof in Isabelle/HOL (Q3172879) (← links)
- Recognition of Nested Gates in CNF Formulas (Q3453230) (← links)
- Exploring Theories with a Model-Finding Assistant (Q3454114) (← links)
- Automating Algebraic Specifications of Non-freely Generated Data Types (Q3540070) (← links)
- On local domain symmetry for model expansion (Q4593047) (← links)
- Constraint solving for finite model finding in SMT solvers (Q4593094) (← links)
- A Study of Symmetry Breaking Predicates and Model Counting (Q5039506) (← links)
- Bounded Relational Analysis of Free Data Types (Q5458813) (← links)
- Monotonicity Inference for Higher-Order Formulas (Q5747753) (← links)
