Modechart Toolset User's Guide
Anne T. Rose, Manuel Asensi Pérez, Paul Clements · 1994
This document describes how to use the Modechart Toolset (MT). MT is a set of tools designed to facilitate the specification, modeling, and analysis of real-time embedded systems using the Modechart language. MT supports the creation, modification, and storage of Modechart specifications. It also supports the analysis of Modechart specifications via a consistency and completeness checker, a simulator and a verifier. Modechart Toolset(MT), Simulation, Verification, Real-time systems consistency and completeness.