Model Checking of Message Sequence Charts

This publication has 15 references indexed in Scilit:

• Design and synthesis of synchronization skeletons using branching time temporal logic
  Published by Springer Nature ,2005
• Design tools for requirements engineering
  Bell Labs Technical Journal, 2002
• Model checking of hierarchical state machines
  Published by Association for Computing Machinery (ACM) ,1998
• Deciding properties for message sequence charts
  Published by Springer Nature ,1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Verification of message sequence charts via template matching
  Published by Springer Nature ,1997
• Computer-aided verification
  IEEE Spectrum, 1996
• An Algebraic Semantics of Basic Message Sequence Charts
  The Computer Journal, 1994
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986