The following pages link to Real World Verification (Q5191121):
Displayed 12 items.
- A heuristic prover for real inequalities (Q287379) (← 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)
- Local Search For Satisfiability Modulo Integer Arithmetic Theories (Q6082229) (← links)
- Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition (Q6149145) (← links)