Malik, RobiFlordal, Hugo2008-11-142008-11-142006-07Malik, R. & Flordal, H. (2006). Modular nonblocking verification using conflict equivalence. In Discrete Event Systems, 8th International Workshop, 10-12 July 2006 (pp. 100-106).https://hdl.handle.net/10289/1338This 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.application/pdfenCopyright IEEE 2006computer scienceConference Contribution10.1109/WODES.2006.1678415