CalCS
From MaRDI portal
Cited in
(17)- Minimal-model-guided approaches to solving polynomial constraints and extensions
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- SMC: satisfiability modulo convex optimization
- Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
- Incomplete SMT techniques for solving non-linear formulas over the integers
- A non-linear arithmetic procedure for control-command software verification
- VSDP
- MATISSE
- dReal
- EFSMT
- CyPhySim
- HyComp
- ABsolver
- iSAT
- DyverseRBT
- Validating numerical semidefinite programming solvers for polynomial invariants
- dReal: an SMT solver for nonlinear theories over the reals
This page was built for software: CalCS
