swMATH7090MaRDI QIDQ19148FDOQ19148
Author name not available (Why is that?)
Official website: http://alloy.mit.edu/kodkod/
Cited In (51)
- On local domain symmetry for model expansion
- Solving quantifier-free first-order constraints over finite sets and binary relations
- CompoSAT: specification-guided coverage for model finding
- Pardinus: a temporal relational model finder
- Specification-based program repair using SAT
- Automating Algebraic Specifications of Non-freely Generated Data Types
- Title not available (Why is that?)
- Alloy*: a general-purpose higher-order relational constraint solver
- Generating counterexamples for structural inductions by exploiting nonstandard models
- Exploring theories with a model-finding assistant
- Monotonicity inference for higher-order formulas
- Recognition of Nested Gates in CNF Formulas
- Bounded Relational Analysis of Free Data Types
- Automated flaw detection in algebraic specifications
- Graph transformation benchmarks
- FINDER
- TestEra
- VPM
- TACO
- CP-miner
- iProver-Eq
- HMC
- SmallCheck
- KIV
- Monotonox
- FALCON
- Alloy*
- Deriving class
- Markov Models
- margrave
- Hotel Key Card
- AGES
- CPSA
- Bordeaux
- CD2Alloy
- cddiff
- CompoSAT
- VERMEER
- Whispec
- WhyLine
- Razor
- cnf2aig
- From LCF to Isabelle/HOL
- Handling transitive relations in first-order automated reasoning
- Foundational (co)datatypes and (co)recursion for higher-order logic
- Nunchaku
- Model finding for recursive functions in SMT
- Nitpick: a counterexample generator for higher-order logic based on a relational model finder
- Automatic proof and disproof in Isabelle/HOL
- HeteroGenius
- A study of symmetry breaking predicates and model counting
This page was built for software: Kodkod
