IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model-based verification in the development of dependable systems

Proceedings. ITCC 2005 International Conference on Information Technology: Coding and Computing

Author(s): D.B. Aredo ; O. Owe
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Las Vegas, NV, USA, USA
Conference Date: 4 April 2005
Volume: 2
ISBN (Paper): 0-7695-2315-3
DOI: 10.1109/ITCC.2005.203
Regular:

In this paper, we present a framework that integrates the semi-formal modeling language, namely UML, with the formal method, namely PVS, to exploit their synergy in the development of dependable... View More

Advertisement