Runtime verification monitor construction for three-valued PPTL

DOI10.1007/978-3-319-57708-1_9MaRDI QIDQ4989019zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(9)

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

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)