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