Automated Temporal Verification for Algebraic Effects
Abstract elided by the publisher.
Related papers
- Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs POPL 2025
- Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm TACAS 2023
- Fold/Unfold Transformations for Fixpoint Logic TACAS 2020
- Specification and Verification for Unrestricted Algebraic Effects and Handling ICFP 2024
- A Synchronous Effects Logic for Temporal Verification of Pure Esterel VMCAI 2021
- An Algebra of Alignment for Relational Verification POPL 2023
- Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations POPL 2023
- Temporal NetKAT PLDI 2016