loading...
A Combined Approach for Reachability Analysis
Tahiti, French Polynesia October 29-November 03
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSEA.2006.2International Conference on Software ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Abdelaziz Guerrouat, Harald Richter, "A Combined Approach for Reachability Analysis," Software Engineering Advances, International Conference on, pp. 23, International Conference on Software Engineering Advances (ICSEA'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ICSEA.2006.2,
author = {Abdelaziz Guerrouat and Harald Richter},
title = {A Combined Approach for Reachability Analysis},
journal ={Software Engineering Advances, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2703-5},
pages = {23},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSEA.2006.2},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Advances, International Conference on
TI - A Combined Approach for Reachability Analysis
SN - 0-7695-2703-5
SP
EP
A1 - Abdelaziz Guerrouat,
A1 - Harald Richter,
PY - 2006
KW - Formal methods; reachability analysis; formal specifications; testing and validation
VL - 0
JA - Software Engineering Advances, International Conference on
ER -
 
Abdelaziz Guerrouat, Clausthal University of Technology, Germany
Harald Richter, Clausthal University of Technology, Germany
This paper presents the principle of an approach that allows to analyse most important system properties like reachability, executability, deadlock-freeness etc. The approach is based on two concepts: analysis purpose-directed analysis and specification unfolding. The first concept drives the analysis to the aimed specification part whereas the second allows to present the specification behaviour in a suitable form for the analysis. In contrast to the common analysis methods, the present approach considerably alleviates the state-explosion problem.
Index Terms:
Formal methods; reachability analysis; formal specifications; testing and validation
Citation:
Abdelaziz Guerrouat, Harald Richter, "A Combined Approach for Reachability Analysis," icsea, pp.23, International Conference on Software Engineering Advances (ICSEA'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.