On the Merits of Temporal Testers

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

• scientific article
• 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

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)

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)