Show simple item record  

dc.contributor.authorMalik, Robien_NZ
dc.coverage.spatialXi'an Chinaen_NZ
dc.date.accessioned2016-07-03T23:23:01Z
dc.date.available2016en_NZ
dc.date.available2016-07-03T23:23:01Z
dc.date.issued2016en_NZ
dc.identifier.citationMalik, 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.7497885en
dc.identifier.urihttp://hdl.handle.net/10289/10503
dc.description.abstractThis 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.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEEen_NZ
dc.rightsThis 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.sourceWODES 2016en_NZ
dc.titleProgramming a fast explicit conflict checkeren_NZ
dc.typeConference Contribution
dc.identifier.doi10.1109/WODES.2016.7497885en_NZ
dc.relation.isPartOfProceeding of the 13th International Workshop on Discrete Event Systemsen_NZ
pubs.begin-page438
pubs.elements-id138983
pubs.end-page443
pubs.finish-date2016-06-01en_NZ
pubs.organisational-group/Waikato
pubs.organisational-group/Waikato/FCMS
pubs.organisational-group/Waikato/FCMS/Computer Science
pubs.start-date2016-05-30en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record