Decision Procedures for Flat Array Properties
Abstract elided by the publisher.
Related papers
- Determinacy Testing for Nondeterminate Logic Programming Languages TOPLAS 1994
- A Decision Procedure for Bit-Vectors and Arrays CAV 2007
- Decision Procedure for Entailment of Symbolic Heaps with Arrays APLAS 2017
- Satisfiability Modulo Extensional Constant Arrays CAV 2026
- Data-Driven Verification of Procedural Programs with Integer Arrays CAV 2025
- Simplification by Cooperating Decision Procedures TOPLAS 1979
- Efficient Decision Procedures for Model Checking of Linear Time Logic Properties CAV 1999
- Streaming irregular arrays Haskell 2017