Show simple item record  

dc.contributor.authorPilbrow, Colin
dc.date.accessioned2013-11-18T23:19:20Z
dc.date.available2013-11-18T23:19:20Z
dc.date.issued2013-11-19
dc.identifier.citationPilbrow, C. (2013). Compositional nonblocking verification with always enabled and selfloop-only events. (Working paper 07/2013). Hamilton, New Zealand: University of Waikato, Department of Computer Science.en_NZ
dc.identifier.issn1177-777X
dc.identifier.urihttps://hdl.handle.net/10289/8187
dc.description.abstractThis report proposes to improve compositional nonblocking verification through the use of two special event types: always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts of a system during verification. Normally, this abstraction is based on the set of events not used in the remainder of the system. Here, it is proposed to exploit more knowledge about the system and abstract events even though they are used in the remainder of the system. This can lead to more simplification than was previously possible. Abstraction rules from previous work are extended to respect the new special events and proofs show these rules still preserve nonblocking. The rules have been implemented in Waters and experimental results demonstrate that these extended simplification rules help verify several industrial-scale discrete event system models while achieving better state-space reduction than before.en_NZ
dc.format.mimetypeapplication/pdf
dc.language.isoenen_NZ
dc.publisherUniversity of Waikato, Department of Computer Scienceen_NZ
dc.relation.ispartofseriesComputer Science Working Papersen_NZ
dc.relation.isreplacedby10289/9201
dc.relation.isreplacedbyhttps://hdl.handle.net/10289/9201
dc.rights© 2013 Colin Pilbrowen_NZ
dc.subjectComputer Scienceen_NZ
dc.titleCompositional nonblocking verification with always enabled and selfloop-only eventsen_NZ
dc.typeWorking Paperen_NZ
uow.relation.series07/2013en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record