A purpose-directed reachability analysis approach

Authors:
Abdelaziz Guerrouat;Harald Richter
Affiliations:
Department of Computer Science, Clausthal University of Technology, Clausthal-Zellerfeld, Germany;Department of Computer Science, Clausthal University of Technology, Clausthal-Zellerfeld, Germany
Venue:
TELE-INFO'06 Proceedings of the 5th WSEAS international conference on Telecommunications and informatics
Year:
2006

Citing 4
Cited 0

Method of analysing extended finite-state machine specifications

Computer Communications
Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
LP Deadlock Checking Using Partial Order Dependencies

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
prod 3.2: An Advanced Tool for Efficient Reachability Analysis

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents a new approach for reachability analysis. This is based on analysis purposes that are established by an analyser expert. The analysis purposes address system specification parts that may be 'suspected' of presenting non-reachable states and thus the analysis is especially focused on. Such information about 'suspicious' specification parts to be checked is based on special knowledge about the system code and behaviour. The approach is characterized by its usefulness comparatively to other complex and theoretical approaches, for instance, to those based on petri nets. We describe the analysis purposes and explain how reachability analysis can be performed using this concept.