Checking conformance for time-constrained scenario-based specifications

DOI10.1016/J.TCS.2015.03.030zbMATH Open1328.68124OpenAlexW2086632956MaRDI QIDQ2355682FDOQ2355682

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

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

zbMATH Keywords

model checkingtimed automataMSC graphs

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• Title not available (Why is that?)
• Model checking conformance with scenario-based specifications .
• Matching Scenarios with Timing Constraints
• 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)