This article describes a formal analysis technique, called <italic>consistency checking</italic>, for automatic detection of errors, such as type errors, nondeterminism, missing cases, and circularâ€¦ (More)

This paper describes a class of formal analysis called consistency checking that mechanically checks requirements speci cations, expressed in the SCR tabular notation, for application-independentâ€¦ (More)

A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method and its support tools.â€¦ (More)

A set of CASE tools is described for developing formal requirements speci cations expressed in the SCR (Software Cost Reduction) tabular notation. The tools include an editor for building the speciâ€¦ (More)

SCR*, a set of tools for developing requirements specifications for real-time embedded systems, is described. The tools, which are based on a formal requirements model, include a specificationâ€¦ (More)

Exposing inconsistencies can uncover many defects in software specifications. One approach to exposing inconsistencies analyzes two redundant specifications, one operational and the otherâ€¦ (More)

A major barrier to the use of formal methods in software practice is the difllculty software developers have understanding and applying the methods. To overcome this barrier, a requirements methodâ€¦ (More)

This paper describes MTSim, an extensible, cus-tomizable simulation platform for the Modechart toolset (MT) 5]. MTSim provides support for \plug-ging in" user-deened viewers useful in simulatingâ€¦ (More)

Although formal methods for developing computer systems have been available for more than a decade, few have had significant impact in practice. A major barrier to their use is that softwareâ€¦ (More)