Bounded Validity Checking of Interval Duration Logic
Abstract elided by the publisher.
Related papers
- Digitizing Interval Duration Logic CAV 2003
- Deciding an Interval Logic with Accumulated Durations TACAS 2007
- On Sampling Abstraction of Continuous Time Logic with Durations TACAS 2007
- Online Causation Monitoring of Signal Temporal Logic CAV 2023
- Satisfiability Checking for Mission-Time LTL CAV 2019
- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets TACAS 2009
- Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification POPL 2023
- Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem APLAS 2024