Model checking time-constrained scenario-based specifications

DOI10.4230/LIPICS.FSTTCS.2010.204MaRDI QIDQ2908850zbMATH OpenFDO

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

Publication date 29 August 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_30c6.html

zbMATH Keywords

message-passing systemmodel-checkingtime-constrained MSC

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Checking conformance for 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
• Timed semantics of message sequence charts based on timed automata

Cited in

(12)

• Timed runtime monitoring for multiparty conversations
• Checking conformance for time-constrained scenario-based specifications
• Early verification of computer systems temporal properties
• Quantitative analysis of communication scenarios
• Matching Scenarios with Timing Constraints
• Checking Coverage for Infinite Collections of Timed Scenarios
• Scenario-Based Timing Consistency Checking for Time Petri Nets
• Refinement and Consistency of Timed Modal Specifications
• Speeding up model checking of timed-models by combining scenario specialization and live component analysis
• Regular set of representatives for time-constrained MSC graphs
• Automata and Logics for Timed Message Sequence Charts
• Model checking conformance with scenario-based specifications .

This page was built for publication: Model checking time-constrained scenario-based specifications

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