Topology, monitorable properties and runtime verification
From MaRDI portal
Publication:2453532
DOI10.1016/J.TCS.2014.02.052zbMATH Open1359.68164OpenAlexW2036862954MaRDI QIDQ2453532FDOQ2453532
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
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
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Monitoring of Real-Time Properties
- Testing and generating infinite sequences by a finite automaton
- Title not available (Why is that?)
- Decision problems forω-automata
- Pure future local temporal logics are expressively complete for Mazurkiewicz traces
- First-order definable languages
- Fragments of first-order logic over infinite words
- Title not available (Why is that?)
- Monitoring the Full Range of ω-Regular Properties of Stochastic Systems
Cited In (6)
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)
