Finite Differencing of Logical Formulas for Static Analysis
No abstract available.
Related papers
- Finite differencing of logical formulas for static analysis TOPLAS 2010
- Efficient static analysis of XML paths and types PLDI 2007
- Symbolic Finite Differencing - Part I ESOP 1990
- Finite Differencing of Computable Expressions TOPLAS 1982
- Learning formulas in finite variable logics POPL 2022
- QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols CAV 2025
- Checking That Finite State Concurrent Programs Satisfy Their Linear Specification POPL 1985
- Monadic second-order logic on finite sequences POPL 2017