loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04)
Tampa, Florida
March 25-March 26
ISBN: 0-7695-2094-4
ASCII Text
x 
 
Dejan Desovski, "Combining Testing and Model Checking for Verification of High Assurance Systems," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 279-280, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/HASE.2004.1281758,
author = {Dejan Desovski},
title = {Combining Testing and Model Checking for Verification of High Assurance Systems},
journal ={High-Assurance Systems Engineering, IEEE International Symposium on},
volume = {0},
year = {2004},
issn = {1530-2059},
pages = {279-280},
doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281758},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - High-Assurance Systems Engineering, IEEE International Symposium on
TI - Combining Testing and Model Checking for Verification of High Assurance Systems
SN - 1530-2059
SP279
EP280
A1 - Dejan Desovski,
PY - 2004
KW - null
VL - 0
JA - High-Assurance Systems Engineering, IEEE International Symposium on
ER -
 
Dejan Desovski, West Virginia University
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.
Citation:
Dejan Desovski, "Combining Testing and Model Checking for Verification of High Assurance Systems," hase, pp.279-280, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.