This toolset was created to help developers build specifications with greater assurance that the requirements will be complete, and the resulting software error-free. This is especially important for critical systems. The method for creating specifications is based on a scalable tabular notation.
The toolset is an integrated suite of tools for specifying and analyzing software requirements. The table-based system uses a language that engineers and computer system developers can quickly feel comfortable with. While the algorithms used in the toolset are based in mathematical logic, the user does not need to know this to successfully use the toolset.
The toolset consists of an editor for creating specifications, a consistency and completeness checker, a browser for picturing dependencies, and a simulator for testing the created specification. Some versions also include model checking and theorem proving extensions.