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

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

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)

• Quantitative monitoring of STL with edit distance
• The compound interest in relaxing punctuality
• Learning infinite-word automata with loop-index queries
• From LTL to deterministic automata. A safraless compositional approach
• Effective synthesis of asynchronous systems from GR(1) specifications
• Temporal logic and fair discrete systems
• Automata theory and model checking
• Synthesis of Reactive(1) designs
• Multi-Valued Reasoning about Reactive Systems
• Bridging the gap between single- and multi-model predictive runtime verification
• Organising LTL monitors over distributed systems with a global clock
• Monitoring spatially distributed cyber-physical systems with alternating finite automata

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)