IEEE - Institute of Electrical and Electronics Engineers, Inc. - Feasibility of model checking software requirements: a case study

Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96

Author(s): Sreemani, T. ; Atlee, J.M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Gaithersburg, MD, USA, USA
Conference Date: 17 June 1996
Page(s): 77 - 88
ISBN (Paper): 0-7803-3390-X
DOI: 10.1109/CMPASS.1996.507877
Regular:

Model checking is an effective technique for verifying properties of a finite specification. A model checker accepts a specification and a property, and it searches the reachable states to... View More

Advertisement