Runtime verification monitor construction for three-valued PPTL

DOI10.1007/978-3-319-57708-1_9zbMATH Open1461.68122OpenAlexW2605874545MaRDI QIDQ4989019FDOQ4989019

Authors:

Publication date: 20 May 2021

Published in: Structured Object-Oriented Formal Language and Method (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-57708-1_9

Recommendations

• An LTL proof system for runtime verification
• Monitoring of Real-Time Properties
• Impartial Anticipation in Runtime-Verification
• A brief account of runtime verification
• Runtime verification through forward chaining

zbMATH Keywords

automataruntime verificationthree-valued logicmonitorprojection temporal logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Many-valued logic (03B50) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (9)

• Impartial Anticipation in Runtime-Verification
• An LTL proof system for runtime verification
• Computer says no: verdict explainability for runtime monitors using a local proof system
• Refining the safety-liveness classification of temporal properties according to monitorability
• Runtime verification with minimal intrusion through parallelism
• Runtime verification through forward chaining
• Runtime verification using a temporal description logic
• On monitoring linear temporal properties
• Parametric runtime verification is NP-complete and coNP-complete

This page was built for publication: Runtime verification monitor construction for three-valued PPTL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4989019)