Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed
Abstract
No abstract available.
Related papers
- Modular Control Plane Verification via Temporal Invariants PLDI 2023
- Verifying Asynchronous Hyperproperties in Reactive Systems OOPSLA 2025
- Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations POPL 2023
- Reflection without remorse: revealing a hidden sequence to speed up monadic reflection Haskell 2014
- Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities OOPSLA 2022
- Timed Automata Verification and Synthesis via Finite Automata Learning TACAS 2023
- Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications TOPLAS 1986
- Supervisory Control of Finite State Machines CAV 1995