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