Generic Model Checking for Modal Fixpoint Logics in COOL-MC
Abstract elided by the publisher.
Related papers
- A fixpoint calculus for local and global program flows POPL 2006
- A Type-Based HFL Model Checking Algorithm APLAS 2019
- Quasipolynomial Computation of Nested Fixpoints TACAS 2021
- Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification POPL 2023
- Efficient static analysis of XML paths and types PLDI 2007
- HFL(Z) Validity Checking for Automated Program Verification POPL 2023
- MightyPPL: Model Checking MITL with Past and Pnueli Modalities TACAS 2026
- Software model checking using languages of nested trees TOPLAS 2011