TitleFormal Methods for Specifying, Validating, and Verifying Requirements
Publication TypeJournal Article
Year of Publication2007
AuthorsHeitmeyer, C. L.
JournalJournal of Computer Science
Volume13
Issue5
Pagination607-618
Abstract

This paper describes the specification, validation and verification of system and software requirements using the SCR tabular method and tools. An example is presented to illustrate the SCR tabular notation, and an overview of each of the ten tools in the SCR toolset is presented.

Full Text

Heitmeyer2007.pdf

NRL Publication Release Number

07-1226-1576