Show simple item record  

dc.contributor.authorFrancis, Rachel
dc.date.accessioned2011-05-04T02:49:11Z
dc.date.available2011-05-04T02:49:11Z
dc.date.issued2011-04-27
dc.identifier.citationFrancis, R. (2011). An implementation of a compositional approach for verifying generalised nonblocking. (Working paper 04/2011). Hamilton, New Zealand: University of Waikato, Department of Computer Science.en_NZ
dc.identifier.issn1177-777X
dc.identifier.urihttps://hdl.handle.net/10289/5312
dc.description.abstractGeneralised nonblocking is a property of discrete-event systems which verifies liveness. It was introduced to overcome the weaknesses of standard nonblocking. Verifying generalised nonblocking of real-world models often involves exploring state-spaces which will exceed available memory. A compositional verification approach has been developed to achieve verification for models of a much larger size. For this project, we have developed the first implementation for compositionally verifying generalised nonblocking. In addition, we have experimented with the techniques used in compositional verification, and analysed their performance. Our algorithm has successfully verified a large set of industrial-size models, including at least one large model which had not been verified before.en_NZ
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Waikato, Department of Computer Scienceen_NZ
dc.relation.ispartofseriesComputer Science Working Papers
dc.subjectcomputer scienceen_NZ
dc.titleAn implementation of a compositional approach for verifying generalised nonblockingen_NZ
dc.typeWorking Paperen_NZ
uow.relation.series04/2011
pubs.elements-id54206


Files in this item

This item appears in the following Collection(s)

Show simple item record