Cited in
(55)- On local domain symmetry for model expansion
- Generating counterexamples for structural inductions by exploiting nonstandard models
- Monotonicity inference for higher-order formulas
- From LCF to Isabelle/HOL
- Foundational (co)datatypes and (co)recursion for higher-order logic
- CompoSAT: specification-guided coverage for model finding
- Nitpick: a counterexample generator for higher-order logic based on a relational model finder
- Specification-based program repair using SAT
- Bounded Relational Analysis of Free Data Types
- Automated flaw detection in algebraic specifications
- Automatic proof and disproof in Isabelle/HOL
- CLPS-B
- Nitpick
- Alloy
- HOL-Z
- 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
- Solving quantifier-free first-order constraints over finite sets and binary relations
- Pardinus: a temporal relational model finder
- Recognition of Nested Gates in CNF Formulas
- Nunchaku
- Exploring theories with a model-finding assistant
- Handling transitive relations in first-order automated reasoning
- Automating Algebraic Specifications of Non-freely Generated Data Types
- Alloy*: a general-purpose higher-order relational constraint solver
- A study of symmetry breaking predicates and model counting
- Model finding for recursive functions in SMT
- scientific article; zbMATH DE number 7633799 (Why is no real title available?)
- HeteroGenius
This page was built for software: Kodkod
