This directory contains files for Technical Report CSRI-386.

The files in this directory are the following:

1) README       (< 1  KB - the ASCII file you are now reading)
2) TR-386.ps    (3723 KB - PostScript)
3) TR-386.ps.gz (136  KB - PostScript compressed with the program "gzip")

If you have the UNIX "gunzip" program, get the file TR-386.ps.gz.
Remember to transfer the file in binary mode. After the transfer, 
"gunzip" the file.

If you do not have the UNIX "gunzip" program, get the file TR-386.ps 
in ASCII mode. 

After transfering the file, print it on a PostScript printer.

If you have any questions or comments about this technical report, please
contact chechik@cs.toronto.edu


TITLE:    SC(R)^3 - Towards Usability of Formal Methods

AUTHORS:  Marsha Chechik


ABSTRACT:

This paper gives an overview of SC(R)^3 -- a toolset designed to
increase the usability of formal methods for software
development. Formal requirements are specified in SC(R)^3 in an easy
to use and review format, and then used in checking requirements for
correctness and in verifying consistency between annotated code and
requirements.

In this paper we discuss motivations behind this work, describe
several tools which are part of SC(R)^3, and illustrate their
operation on an example of a Cruise Control system.