Modechart Toolset User's Guide
- 14 February 1994
- report
- Published by Defense Technical Information Center (DTIC)
Abstract
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.Keywords
This publication has 0 references indexed in Scilit: