Programming a fast explicit conflict checker
| dc.contributor.author | Malik, Robi | en_NZ |
| dc.coverage.spatial | Xi'an China | en_NZ |
| dc.date.accessioned | 2016-07-03T23:23:01Z | |
| dc.date.available | 2016 | en_NZ |
| dc.date.available | 2016-07-03T23:23:01Z | |
| dc.date.issued | 2016 | en_NZ |
| dc.description.abstract | This paper describes the implementation of explicit model checking algorithms to verify the nonblocking or nonconflicting property of discrete event systems. Explicit algorithms enumerate and store all reachable states of a synchronous composition. Three alternatives optimised for memory consumption or runtime are described and compared. The algorithms have been implemented in C++ in the discrete event systems library Waters, and experimental results show that they can explore more than 100 million states on standard computers. | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.citation | Malik, R. (2016). Programming a fast explicit conflict checker. In Proceeding of the 13th International Workshop on Discrete Event Systems (pp. 438–443). Xi’an China: IEEE. http://doi.org/10.1109/WODES.2016.7497885 | en |
| dc.identifier.doi | 10.1109/WODES.2016.7497885 | en_NZ |
| dc.identifier.uri | https://hdl.handle.net/10289/10503 | |
| dc.language.iso | en | |
| dc.publisher | IEEE | en_NZ |
| dc.relation.isPartOf | Proceeding of the 13th International Workshop on Discrete Event Systems | en_NZ |
| dc.rights | This is an author’s accepted version of an article published in the Proceedings of the 13th International Workshop on Discrete Event Systems. ©2016 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. | |
| dc.source | WODES 2016 | en_NZ |
| dc.title | Programming a fast explicit conflict checker | en_NZ |
| dc.type | Conference Contribution | |
| dspace.entity.type | Publication | |
| pubs.begin-page | 438 | |
| pubs.end-page | 443 | |
| pubs.finish-date | 2016-06-01 | en_NZ |
| pubs.start-date | 2016-05-30 | en_NZ |