SCR3: towards usability of formal methods

Details SCR3: towards usability of formal methods SCR3: towards usability of formal methods

1999-06-28

arxiv.org/abs/cs/9906030v1

Proceedings of CASCON'98, December 1998, pp. 177-191

Computer Science

Software Engineering

15 pages, 10 figures

Scientific paper

This paper gives an overview of SCR3 -- a toolset designed to increase the usability of formal methods for software development. Formal requirements are specified in SCR3 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 SCR3, and illustrate their operation on an example of a Cruise Control system.

Affiliated with

Also associated with

No associations

Rating

SCR3: towards usability of formal methods does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with SCR3: towards usability of formal methods, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and SCR3: towards usability of formal methods will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-681457