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

automatamonitorprojection temporal logicruntime verificationthree-valued logic

Mathematics Subject Classification ID

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

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)

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

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)