Loading...
Thumbnail Image
Item

Modular nonblocking verification using conflict equivalence

Abstract
This paper proposes a modular approach to verifying whether a large discrete event system is nonconflicting. The new approach avoids computing the synchronous product of a large set of finite-state machines. Instead, the synchronous product is computed gradually, and intermediate results are simplified using conflict-preserving abstractions based on process-algebraic results about fair testing. Heuristics are used to choose between different possible abstractions. Experimental results show that the method is applicable to finite-state machine models of industrial scale and brings considerable improvements in performance over other methods.
Type
Conference Contribution
Type of thesis
Series
Citation
Malik, R. & Flordal, H. (2006). Modular nonblocking verification using conflict equivalence. In Discrete Event Systems, 8th International Workshop, 10-12 July 2006 (pp. 100-106).
Date
2006-07
Publisher
IEEE
Degree
Supervisors
Rights
Copyright IEEE 2006