Realizability and Verification of MSC Graphs
- 4 July 2001
- book chapter
- Published by Springer Nature
- Vol. 331 (1) , 797-808
- https://doi.org/10.1007/3-540-48224-5_65
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Design tools for requirements engineeringBell Labs Technical Journal, 2002
- Inference of message sequence chartsPublished by Association for Computing Machinery (ACM) ,2000
- Specification and Verification of Message Sequence ChartsPublished by Springer Nature ,2000
- On Message Sequence Graphs and Finitely Generated Regular MSC LanguagesPublished by Springer Nature ,2000
- Model Checking of Message Sequence ChartsPublished by Springer Nature ,1999
- Mesa: Support for scenario-based design of concurrent systemsPublished by Springer Nature ,1998
- Deciding properties for message sequence chartsPublished by Springer Nature ,1998
- Syntactic detection of process divergence and non-local choice in message sequence chartsPublished by Springer Nature ,1997
- The complexity of satisfiability problemsPublished by Association for Computing Machinery (ACM) ,1978