Kodkod
From MaRDI portal
Software:19148
swMATH7090MaRDI QIDQ19148FDOQ19148
Author name not available (Why is that?)
Cited In (21)
- 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
- Model Finding for Recursive Functions in SMT
- Automating Algebraic Specifications of Non-freely Generated Data Types
- Title not available (Why is that?)
- Automatic Proof and Disproof in Isabelle/HOL
- Alloy*: a general-purpose higher-order relational constraint solver
- Monotonicity inference for higher-order formulas
- Recognition of Nested Gates in CNF Formulas
- Specification-Based Program Repair Using SAT
- Bounded Relational Analysis of Free Data Types
- Automated flaw detection in algebraic specifications
- A Study of Symmetry Breaking Predicates and Model Counting
- Exploring Theories with a Model-Finding Assistant
- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
- From LCF to Isabelle/HOL
- Handling transitive relations in first-order automated reasoning
- Foundational (co)datatypes and (co)recursion for higher-order logic
- Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models
This page was built for software: Kodkod
