On the Merits of Temporal Testers
From MaRDI portal
Publication:3512440
DOI10.1007/978-3-540-69850-0_11zbMATH Open1143.68046OpenAlexW1487629853MaRDI QIDQ3512440FDOQ3512440
Authors:
Publication date: 15 July 2008
Published in: 25 Years of Model Checking (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-69850-0_11
Recommendations
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70)
Cited In (11)
- Automata theory and model checking
- Effective synthesis of asynchronous systems from GR(1) specifications
- Learning infinite-word automata with loop-index queries
- The compound interest in relaxing punctuality
- Temporal logic and fair discrete systems
- Synthesis of Reactive(1) designs
- Quantitative monitoring of STL with edit distance
- From LTL to deterministic automata. A safraless compositional approach
- Bridging the gap between single- and multi-model predictive runtime verification
- Multi-Valued Reasoning about Reactive Systems
- Organising LTL monitors over distributed systems with a global clock
This page was built for publication: On the Merits of Temporal Testers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3512440)