Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring
Abstract elided by the publisher.
Related papers
- Automated Translation of Natural Language Requirements to Runtime Monitors TACAS 2022
- Verified First-Order Monitoring with Recursive Rules TACAS 2022
- Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET CAV 2022
- Deadlock-Free Monitors ESOP 2018
- Understanding and Extending Incremental Determinization for 2QBF CAV 2018
- Towards formally verified compilation of tag-based policy enforcement CPP 2021
- A compositional proof framework for FRETish requirements CPP 2022
- Generalizing Inference Systems by Coaxioms ESOP 2017