IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modular reasoning in Object-Z

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference

Author(s): Griffiths, A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1997
Conference Location: Hong Kong, Hong Kong
Conference Date: 5 December 1997
Page(s): 140 - 149
ISBN (Paper): 0-8186-8271-X
DOI: 10.1109/APSEC.1997.640171
Regular:

One of the tasks of a formal specification validation activity is to prove that systems described by the specification exhibit certain properties. For specifications describing large and complex... View More

Advertisement