IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verifying SOS specifications

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

Author(s): Bloom, B. ; Cheng, A. ; Dzouza, A.
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): 117 - 127
ISBN (Paper): 0-7803-3390-X
DOI: 10.1109/CMPASS.1996.507880
Regular:

A Protean specification language provides general Structured Operational Semantics (SOS) definitional facilities, supported by the appropriate theory. This is in contrast to traditional... View More

Advertisement