MSCan - A Tool for Analyzing MSC Specifications
No abstract available.
Related papers
- LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios TACAS 2003
- Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts TACAS 1997
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs TACAS 2005
- Scratchpad allocation for concurrent embedded software TOPLAS 2010
- GENA - A Tool for Generating Prolog Analyzers from Specifications SAS 1995
- On type-cases, union elimination, and occurrence typing POPL 2022
- Educational Pearl: Biological sequence similarity JFP 2006