IEEE - Institute of Electrical and Electronics Engineers, Inc. - A hierarchical approach to the formal verification of embedded systems using MDGs [microcontrollers]

Proceedings Ninth Great Lakes Symposium on VLSI

Author(s): Balakrishnan, S. ; Tahar, S.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Ypsilanti, MI, USA, USA
Conference Date: 4 March 1999
Page(s): 284 - 287
ISBN (Paper): 0-7695-0104-4
ISSN (Paper): 1066-1395
DOI: 10.1109/GLSV.1999.757434
Regular:

With the increasing emergence of mixed hardware/software systems, it is important to ensure the correctness of such a system formally, particularly for real-time and safety critical applications.... View More

Advertisement