The following pages link to CalCS (Q25016):
Displaying 8 items.
- A non-linear arithmetic procedure for control-command software verification (Q2324228) (← links)
- Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions (Q3192080) (← links)
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF (Q3303890) (← links)
- dReal: An SMT Solver for Nonlinear Theories over the Reals (Q4928439) (← links)
- Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers (Q4972164) (← links)
- SMC (Q5275314) (← links)
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (Q5861104) (← links)
- Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)