Topology, monitorable properties and runtime verification

DOI10.1016/J.TCS.2014.02.052MaRDI QIDQ2453532zbMATH OpenOpenAlexFDO

Authors Volker Diekert, Martin Leucker

Publication date 10 June 2014

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2014.02.052

zbMATH Keywords

monitorable propertyomega-regular languageruntime verificationtopology

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Monitorable hyperproperties of nonterminating systems
• A framework for parameterized monitorability
• Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
• Topological models for higher order control flow
• Some applications of topology to program semantics
• scientific article; zbMATH DE number 3902015
• scientific article; zbMATH DE number 1566482

Cites work

• Decision problems forω-automata
• First-order definable languages
• Fragments of first-order logic over infinite words
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 2087486 (Why is no real title available?)
• Monitoring of Real-Time Properties
• Monitoring the Full Range of ω-Regular Properties of Stochastic Systems
• Pure future local temporal logics are expressively complete for Mazurkiewicz traces
• Testing and generating infinite sequences by a finite automaton

Cited in

(8)

• Monitoring hyperproperties with circuits
• A note on monitors and Büchi automata
• On Locally Checkable Properties
• On monitoring linear temporal properties
• Refining the safety-liveness classification of temporal properties according to monitorability
• An Operational Guide to Monitorability
• The best a monitor can do
• Safety and liveness of quantitative automata

This page was built for publication: Topology, monitorable properties and runtime verification

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