ABsolver
From MaRDI portal
Software:33168
swMATH21360MaRDI QIDQ33168FDOQ33168
Author name not available (Why is that?)
Cited In (10)
- 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
- I-RiSC: an SMT-compliant solver for the existential fragment of real algebra
- Superposition modulo non-linear arithmetic
This page was built for software: ABsolver
