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.