Paper Info
Title
A Combined Approach for Reachability Analysis
Abstract
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.
Year
DOI
Venue
2006
10.1109/ICSEA.2006.2
ICSEA
Keywords
Field
DocType
suitable form,common analysis method,reachability analysis,specification behaviour,analysis purpose-directed analysis,important system property,present approach,combined approach,specification part,state-explosion problem,concept analysis,formal methods,formal specification,computer science,testing,formal specifications,failure analysis,formal method
Systems engineering,System recovery,Computer science,Formal specification,Theoretical computer science,Reachability,Formal methods
Conference
ISBN
Citations 
PageRank 
0-7695-2703-5
0
0.34
References 
Authors
5
2
Name
Order
Citations
PageRank
Abdelaziz Guerrouat1142.38
Harald Richter2226.97