Linear Arithmetic with Stars
No abstract available.
Related papers
- Interactive Theorem Proving Modulo Fuzzing CAV 2024
- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law ESOP 2024
- StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems CAV 2025
- On the Construction of Automata from Linear Arithmetic Constraints TACAS 2000
- A Fast Linear-Arithmetic Solver for DPLL(T) CAV 2006
- Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions SAS 2004
- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions ESOP 2006
- A Non-linear Arithmetic Procedure for Control-Command Software Verification TACAS 2018