dc.contributor.author | Malik, Robi | |
dc.contributor.author | Flordal, Hugo | |
dc.coverage.spatial | Conference held at Michigan, USA | en_NZ |
dc.date.accessioned | 2008-11-14T02:13:12Z | |
dc.date.available | 2008-11-14T02:13:12Z | |
dc.date.issued | 2006-07 | |
dc.identifier.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). | en_US |
dc.identifier.uri | https://hdl.handle.net/10289/1338 | |
dc.description.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. | en_US |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | |
dc.publisher | IEEE | en_NZ |
dc.rights | Copyright IEEE 2006 | en_US |
dc.source | WODES 2006 | en_NZ |
dc.subject | computer science | en_US |
dc.title | Modular nonblocking verification using conflict equivalence | en_US |
dc.type | Conference Contribution | en_US |
dc.identifier.doi | 10.1109/WODES.2006.1678415 | en_US |
dc.relation.isPartOf | Proc 8th International Workshop on Discrete Event Systems | en_NZ |
pubs.begin-page | 100 | en_NZ |
pubs.elements-id | 16659 | |
pubs.end-page | 106 | en_NZ |
pubs.finish-date | 2006-07-12 | en_NZ |
pubs.place-of-publication | United States | en_NZ |
pubs.start-date | 2006-07-10 | en_NZ |