ABsolver
From MaRDI portal
Cited in
(19)- Challenges in Constraint-Based Analysis of Hybrid Systems
- Virtual substitution for SMT-solving
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- scientific article; zbMATH DE number 5263038 (Why is no real title available?)
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Deadness and how to disprove liveness in hybrid dynamical systems
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Generating invariants for non-linear hybrid systems
- HySAT
- GiNaCRA
- Zap
- MathSAT
- CalCS
- I-RiSC
- CyPhySim
- LySHA
- I-RiSC: an SMT-compliant solver for the existential fragment of real algebra
- DyverseRBT
- Superposition modulo non-linear arithmetic
This page was built for software: ABsolver
