CalCS

swMATH13098MaRDI QIDQ25016FDOQ25016

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=1998513

Cited In (17)

• DyverseRBT
• 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
• VSDP
• MATISSE
• dReal
• EFSMT
• CyPhySim
• HyComp
• ABsolver
• iSAT
• 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