NIMBUS: A Tool for Specification Centered Development

@inproceedings{Heimdahl2003NIMBUSAT,
  title={NIMBUS: A Tool for Specification Centered Development},
  author={Mats Per Erik Heimdahl and Michael W. Whalen and Jeffrey M. Thompson},
  booktitle={RE},
  year={2003}
}
Assurance that a formal specification (system specification or software specification) possesses desired properties can be achieved through (1) manual inspections, (2) formal verification of the desired properties, or (3) simulation and testing of the specification. To achieve the high level of confidence in the correctness required in a safety-critical system, all three approaches must be used in concert. We have developed an specification language, called RSML −e, and an environment… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

Similar Papers

Loading similar papers…