ABsolver
From MaRDI portal
Software:33168
swMATH21360MaRDI QIDQ33168FDOQ33168
Author name not available (Why is that?)
Cited In (10)
- Superposition Modulo Non-linear Arithmetic
- Challenges in Constraint-Based Analysis of Hybrid Systems
- 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
- Virtual Substitution for SMT-Solving
- Generating invariants for non-linear hybrid systems
- I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra
This page was built for software: ABsolver
