Checking conformance for time-constrained scenario-based specifications

DOI10.1016/J.TCS.2015.03.030MaRDI QIDQ2355682zbMATH OpenOpenAlexFDO

Authors S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar

Publication date 24 July 2015

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2015.03.030

zbMATH Keywords

model checkingtimed automataMSC graphs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking time-constrained scenario-based specifications
• Scenario-Based Timing Consistency Checking for Time Petri Nets
• Matching Scenarios with Timing Constraints
• Checking Coverage for Infinite Collections of Timed Scenarios
• An algorithm for checking the time consistency of message sequence charts

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 1982203 (Why is no real title available?)
• scientific article; zbMATH DE number 1418329 (Why is no real title available?)
• A theory of regular MSC languages
• A theory of timed automata
• Automata and Logics for Timed Message Sequence Charts
• Checking Coverage for Infinite Collections of Timed Scenarios
• Communicating Timed Automata: The More Synchronous, the More Difficult to Verify
• Event-clock automata: a determinizable class of timed automata
• Formal Modeling and Analysis of Timed Systems
• Lectures on Concurrency and Petri Nets
• Matching Scenarios with Timing Constraints
• Model checking time-constrained scenario-based specifications
• Regular sets of infinite message sequence charts
• Semi-commutations
• Symbolically Bounding the Drift in Time-Constrained MSC Graphs
• Timed I/O automata: a complete specification theory for real-time systems
• Timed Unfoldings for Networks of Timed Automata

Cited in

(6)

• scientific article; zbMATH DE number 1903352 (Why is no real title available?)
• Matching Scenarios with Timing Constraints
• Model checking conformance with scenario-based specifications .
• Scenario-based consistency verification of component-based real-time system designs
• Model checking time-constrained scenario-based specifications
• Checking Coverage for Infinite Collections of Timed Scenarios

This page was built for publication: Checking conformance for time-constrained scenario-based specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2355682)