Modechart Toolset User's Guide
NAVAL RESEARCH LAB WASHINGTON DC
Pagination or Media Count:
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 ToolsetMT, Simulation, Verification, Real-time systems consistency and completeness.
- Computer Programming and Software