A Non-linear Arithmetic Procedure for Control-Command Software Verification
No abstract available.
Related papers
- Sound compilation of reals POPL 2014
- An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic TACAS 2003
- Linear and Non-linear Relational Analyses for Quantum Program Optimization POPL 2025
- An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic TACAS 2005
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- Automatic Verification of Pointer Programs using Monadic Second-Order Logic PLDI 1997
- Scalable Verification of Linear Controller Software TACAS 2016