The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2004)
Tampa, Florida
Mar. 25, 2004 to Mar. 26, 2004
ISSN: 1530-2059
ISBN: 0-7695-2094-4
pp: 279-280
Dejan Desovski , West Virginia University
ABSTRACT
Proving the correctness of a developed specification with respect to the requirements is the most important and the most difficult task in the development of High Assurance Systems. Studies have shown that significant number of faults in real systems can be traced back to the specifications. In this short paper, we present our initial ideas on combining formal methods and specification testing for the purposes of specification verification.
INDEX TERMS
null
CITATION
Dejan Desovski, "Combining Testing and Model Checking for Verification of High Assurance Systems", Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), vol. 00, no. , pp. 279-280, 2004, doi:10.1109/HASE.2004.1281758
90 ms
(Ver 3.3 (11022016))