The following pages link to Real World Verification (Q5191121):
Displaying 14 items.
- A heuristic prover for real inequalities (Q287379) (← links)
- Certifying reality of projections (Q1662235) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving (Q3453240) (← links)
- Sharper and Simpler Nonlinear Interpolants for Program Verification (Q5056007) (← links)
- Real World Verification (Q5191121) (← links)
- Satisfiability checking and symbolic computation (Q5268815) (← links)
- Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition (Q6149145) (← links)
- Verified Quadratic Virtual Substitution for Real Arithmetic (Q6488467) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)