Sequence Chart Studio

The Sequence Chart Studio (SCStudio) is a user friendly drawing and verification tool for Message Sequence Charts (MSC). SCStudio supports several checkers that are able to verify properties such as realizability, time consistency, equivalence' checking between two MSC diagrams, etc. Some of them are well known, while others are new or nontrivial extensions of existing ones. The graphical front-end is implemented as a Microsoft Visio add-on, whereas the checkers are platform independent. SCStudio is an open source project that provides an open interface for additional modules.