Symbolic Model Checking Using Algebraic Geometry
No abstract available.
Related papers
- AlPiNA: An Algebraic Petri Net Analyzer TACAS 2010
- Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages POPL 2026
- Memoryful geometry of interaction II: recursion and adequacy POPL 2016
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests POPL 2015
- PyEuclid: A Versatile Formal Plane Geometry System in Python CAV 2025
- Cylindrical Algebraic Decomposition in Coq/Rocq CPP 2026
- Synthesizing geometry constructions PLDI 2011
- Sharper and Simpler Nonlinear Interpolants for Program Verification APLAS 2017