IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal description and validation for an integrity policy supporting multiple levels of criticality

Dependable Computing for Critical Applications 7

Author(s): Fantechi, A. ; Gnesi, S. ; Semini, L.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: San Jose, CA, USA, USA
Conference Date: 8 January 1999
Page(s): 129 - 146
ISBN (Paper): 0-7695-0284-9
DOI: 10.1109/DCFTS.1999.814293
Regular:

Formal methods are increasingly used to validate the design of software and hardware components of safety critical systems. In particular, formal validation is needed for those mechanisms which... View More

Advertisement