Computer says no: verdict explainability for runtime monitors using a local proof system
From MaRDI portal
Publication:1996872
DOI10.1016/j.jlamp.2020.100636zbMath1455.68103OpenAlexW3112313904MaRDI QIDQ1996872
Adrian Francalanza, Clare Cini
Publication date: 26 February 2021
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2020.100636
interpretabilitylinear temporal logicproof systemsruntime verificationexplainabilitycorrect monitor synthesis
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (3)
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ On first-order runtime enforcement of branching-time properties ⋮ A theory of monitors
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Decentralised LTL monitoring
- Monitoring networks through multiparty session types
- Combining test case generation and runtime verification
- Constructive linear-time temporal logic: proof systems and Kripke semantics
- Cut-free sequent systems for temporal logic
- Recognizing safety and liveness
- Completing the temporal picture
- Local model checking in the modal mu-calculus
- Local model checking for infinite state spaces
- Handbook of proof theory
- A framework for parameterized monitorability
- Timed runtime monitoring for multiparty conversations
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Runtime verification of temporal properties over out-of-order data streams
- A brief account of runtime verification
- On the complexity of determinizing monitors
- Monitorability for the Hennessy-Milner logic with recursion
- Distributed system contract monitoring
- A Theory of Monitors
- Monitors and blame assignment for higher-order session types
- Comparing LTL Semantics for Runtime Verification
- Consistently-detecting monitors
- An LTL Proof System for Runtime Verification
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Computer Aided Verification
- Model checking of safety properties
- Optimal proofs for linear temporal logic on lasso words
This page was built for publication: Computer says no: verdict explainability for runtime monitors using a local proof system
