Show simple item record  

dc.contributor.authorMalik, Robi
dc.contributor.authorLeduc, Ryan
dc.coverage.spatialConference held at Christchurch, New Zealanden_NZ
dc.identifier.citationMalik, R. & Leduc, R. (2009). A compositional approach for verifying generalized nonblocking. In Proceedings of 2009 IEEE International Conference on Control and Automation (ICCA 2009), 9-11 December 2009 (pp. 448-453). Washington, DC, USA: IEEE.en_NZ
dc.description.abstractThis paper proposes a compositional approach to verify the generalised nonblocking property of discrete-event systems. Generalised nonblocking is introduced in to overcome weaknesses of the standard nonblocking check in discrete-event systems and increase the scope of liveness properties that can be handled. This paper addresses the question of how generalised nonblocking can be verified efficiently. The explicit construction of the complete state space is avoided by first composing and simplifying individual components in ways that preserve generalised nonblocking. The paper extends and generalises previous results about compositional verification of standard nonblocking and lists a new set of computationally feasible abstraction rules for standard and generalised nonblocking.en_NZ
dc.sourceIEEE International Conference on Control and Automationen_NZ
dc.subjectcomputer scienceen_NZ
dc.subjectgeneralised nonblockingen_NZ
dc.titleA compositional approach for verifying generalized nonblockingen_NZ
dc.typeConference Contributionen_NZ
dc.relation.isPartOfProc IEEE International Conference on Control and Automation (ICCA 2009)en_NZ

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record