swMATH21360MaRDI QIDQ33168FDOQ33168
Author name not available (Why is that?)
Official website: http://absolver.sourceforge.net/
Cited In (18)
- DyverseRBT
- Challenges in Constraint-Based Analysis of Hybrid Systems
- Virtual substitution for SMT-solving
- Title not available (Why is that?)
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Deadness and how to disprove liveness in hybrid dynamical systems
- Generating invariants for non-linear hybrid systems
- GiNaCRA
- Zap
- MathSAT
- I-RiSC: an SMT-compliant solver for the existential fragment of real algebra
- CalCS
- I-RiSC
- CyPhySim
- LySHA
- Superposition modulo non-linear arithmetic
This page was built for software: ABsolver
