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