Characterization of temporal property classes
From MaRDI portal
Recommendations
Cites work
- Defining liveness
- scientific article; zbMATH DE number 4153903 (Why is no real title available?)
- scientific article; zbMATH DE number 3940713 (Why is no real title available?)
- Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL
- Proving the Correctness of Multiprocess Programs
- Recognizing safety and liveness
Cited in
(30)- Sooner is safer than later
- Safety, liveness and fairness in temporal logic
- Semantics of temporal classes
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Back to the future: a fresh look at linear temporal logic
- Runtime enforcement of timed properties using games
- Time-triggered runtime verification
- Monitorability for the Hennessy-Milner logic with recursion
- Aspect Categories and Classes of Temporal Properties
- scientific article; zbMATH DE number 139631 (Why is no real title available?)
- scientific article; zbMATH DE number 1304310 (Why is no real title available?)
- scientific article; zbMATH DE number 1536568 (Why is no real title available?)
- Reactive safety
- A topological characterization of weakness
- Mathematical Foundations of Computer Science 2003
- A simple rewrite system for the normalization of linear temporal logic
- A first-order logic characterization of safety and co-safety languages
- On the translation of automata to linear temporal logic
- A first-order logic characterisation of safety and co-safety languages
- An Operational Guide to Monitorability
- Efficient reactive synthesis using mode decomposition
- Towards the exact complexity of realizability for safety LTL
- Succinctness of cosafety fragments of LTL via combinatorial proof systems
- Towards an efficient implementation of a tableau method for reactive safety specifications
- Expressiveness of extended bounded response \textsf{LTL}
- A hierarchy of temporal logics with past
- Efficient normalization of linear temporal logic
- Succinctness issues for \(\textsf{LTL}_{\textsf{f}}\) and safety and cosafety fragments of \textsf{LTL}
- An optimal pastification algorithm for \(\mathsf{LTL} \lbrack \mathsf{X}, \mathsf{F} \rbrack\) and \(\mathsf{LTL} \lbrack \mathsf{X}, \mathsf{G} \rbrack \)
- Synthesising correct concurrent runtime monitors
This page was built for publication: Characterization of temporal property classes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5204340)
