LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios
Abstract elided by the publisher.
Related papers
- Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts TACAS 1997
- MSCan - A Tool for Analyzing MSC Specifications TACAS 2006
- A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios GPCE 2025
- Behavioural Types for Local-First Software ECOOP 2023
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs TACAS 2005
- Design-By-Contract for Flexible Multiparty Session Protocols ECOOP 2022
- Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice OOPSLA 2025