Mcmt
From MaRDI portal
Cited in
(42)- RBAC-PAT
- Sally
- Btor2Tools
- TLA
- Property-directed inference of universal invariants or proving their absence
- ASASP
- Higher-order quantifier elimination, counter simulations and fault-tolerant systems
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
- Combination of uniform interpolants via Beth definability
- Combined covers and Beth definability
- PlusCal
- Memorax
- From model completeness to verification of data aware processes
- Parameterized model checking on the TSO weak memory model
- InvA
- Generalized rewrite theories, coherence completion, and symbolic methods
- Model completeness, covers and superposition
- Finite reasons for safety. Parameterized verification by finite model finding
- Symbolic backward reachability with effectively propositional logic. Application to security policy analysis
- FunArray
- Cubicle
- Definability of accelerated relations in a theory of arrays and its applications
- Verification of composed array-based systems with applications to security-aware workflows
- Decision procedures for flat array properties
- Lazy abstraction with interpolants for arrays
- A new acceleration-based combination framework for array properties
- Backward reachability of array-based systems by SMT solving: termination and invariant synthesis
- Satisfiability modulo theories
- EUREKA
- ByMC
- Search-space partitioning for parallelizing SMT solvers
- Rewriting modulo SMT and open system analysis
- CTIGAR
- SAFARI
- Booster
- VERIFAS
- An extension of lazy abstraction with interpolation for programs with arrays
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
- Uniform interpolants in \(\mathcal{EUF}\): algorithms using DAG-representations
- SMT-based verification of data-aware processes: a model-theoretic approach
- MCMT: a model checker modulo theories
- Analysis of a clock synchronization protocol for wireless sensor networks
This page was built for software: Mcmt
