CalCS
From MaRDI portal
Software:25016
swMATH13098MaRDI QIDQ25016FDOQ25016
Author name not available (Why is that?)
Cited In (8)
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- A non-linear arithmetic procedure for control-command software verification
- Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions
- dReal: An SMT Solver for Nonlinear Theories over the Reals
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
- Validating numerical semidefinite programming solvers for polynomial invariants
- SMC
- Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers
This page was built for software: CalCS
