Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems
No abstract available.
Related papers
- Proactive Real-Time First-Order Enforcement CAV 2024
- Runtime Verification of Temporal Properties over Out-of-Order Data Streams CAV 2017
- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties TACAS 2018
- Temporal Proof Methodologies for Real-time Systems POPL 1991
- Ownership types for safe region-based memory management in real-time Java PLDI 2003
- An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic CAV 2003
- Accelerating App Recompilation across Android System Updates by Code Reusing CGO 2026
- Scaling Up Proactive Enforcement CAV 2025