CalCS

swMATH13098MaRDI QIDQ25016FDOQ25016

Author name not available (Why is that?)

Cited In (8)

• 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
• Incomplete SMT techniques for solving non-linear formulas over the integers
• Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
• A non-linear arithmetic procedure for control-command software verification
• 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