Temporal Verification of Programs via First-Order Fixpoint Logic
No abstract available.
Related papers
- Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification POPL 2023
- Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs POPL 2025
- A Temporal Fixpoint Calculus POPL 1988
- Fold/Unfold Transformations for Fixpoint Logic TACAS 2020
- HFL(Z) Validity Checking for Automated Program Verification POPL 2023
- A fixpoint calculus for local and global program flows POPL 2006
- Second-Order Hyperproperties CAV 2023
- Software model checking using languages of nested trees TOPLAS 2011