IEEE - Institute of Electrical and Electronics Engineers, Inc. - Software hazard generation with model checking

2006 IEEE Region 5 Conference

Author(s): Phongphun Kijsanayothin ; Rattikorn Hewett ; Jingsong Wang ; Meinhard Peters
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 April 2006
Conference Location: San Antonio, TX, USA, USA
Conference Date: 7 April 2006
Page(s): 77 - 82
ISBN (CD): 978-1-4244-0359-2
ISBN (Paper): 978-1-4244-0358-5
DOI: 10.1109/TPSD.2006.5507458
Regular:

The problem of finding hazards associated with software becomes more necessary if not critical as modern systems increasingly rely on software to provide their main functionalities. While... View More

Advertisement