IEEE - Institute of Electrical and Electronics Engineers, Inc. - Simulation vs. verification: getting the best of both worlds

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

Author(s): Mok, A.K. ; Stuart, D.
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): 12 - 22
ISBN (Paper): 0-7803-3390-X
DOI: 10.1109/CMPASS.1996.507871
Regular:

Simulation and verification are the two conventional techniques for the analysis of specifications of real-time systems. While simulation is relatively inexpensive in terms of execution time, it... View More

Advertisement