This directory contains files for Technical Report CSRG-391, entitled "SC(R)^3: Towards Usability of Formal Methods", by Marsha Chechik The contents of the directory are as follows: 0) README (1 KB -- the ASCII file you are currently reading) 1) tr391.ps (1,6 MB -- the PostScript version of the report) 2) tr391.ps.gz (277 KB -- the PostScript compressed with "gzip") If you have the UNIX "gunzip" program, get the file "tr391.ps.gz". Remember to transfer the file in binary mode. After the transfer, use "gunzip" to extract the original document, then print it on a PostScript printer. If you do not have either of the programs above, get the file "tr391.ps" in ASCII mode and print it on a PostScript printer. Should you have any questions or comments about this technical report, please contact chechik@cs.toronto.edu. SC(R): Towards Usability of Formal Methods Marsha Chechik August 1999 Formal methods have long been criticized as too expensive, too hard to apply (i.e., require a level of mathematical sophistication beyond that possessed by the majority of software developers), and not relevant for ``real'' software systems. In order to make formal methods more attractive, it is essential to improve their \emph{usability}, i.e., create methods and tools that can be applied by software developers and enable the reuse of formal specifications across several development activities. This paper presents an integrated toolset called SC(R)^3 aimed at increasing the usability of formal methods by amortizing the cost associated with creating precise software requirements. Requirements are specified in an easy-to-use-and-review SCR notation, 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.