On the Merits of Temporal Testers

DOI10.1007/978-3-540-69850-0_11MaRDI QIDQ3512440zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1822432
• Complementary Criteria for Testing Temporal Logic Properties
• Timed testing of concurrent systems
• Timed testing of concurrent systems
• scientific article; zbMATH DE number 2186290
• On Conformance Testing for Timed Systems

Cited in

(12)

• 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
• Monitoring spatially distributed cyber-physical systems with alternating finite automata
• 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)