SCR3: towards usability of formal methods

@inproceedings{Chechik1998SCR3TU,
  title={SCR3: towards usability of formal methods},
  author={Marsha Chechik},
  booktitle={CASCON},
  year={1998}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-6 OF 6 CITATIONS

Preliminary Requirements Checking Tool

Wei M Eng, Ridha Khédri
  • 2001
VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Events in linear-time properties

  • Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188)
  • 1999

References

Publications referenced by this paper.
SHOWING 1-10 OF 25 REFERENCES

Automatic Analysis of Consistency between Requirements and Designs

M. Chechik
  • PhD thesis,
  • 1996
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Checking Consistency between Source Code and Annotations

M. Chechik, V. S. Sudha
  • CSRG Technical Report 373, Department of Computer Science, University of Toronto
  • 1998
VIEW 1 EXCERPT

Cruise Control System: A Case-Study in Using SCR in Development and Verification of Event- Driven Systems

M. Chechik, M. Cwirko-Godyski
  • Technical report,
  • 1998
VIEW 1 EXCERPT

The Model Checker SPIN

  • IEEE Trans. Software Eng.
  • 1997