Browsing by Author "Pilbrow, Colin"
Now showing items 1-5 of 6
-
An algorithm for compositional nonblocking verification using special events
(Elsevier Science, 2015-12-01)This paper proposes to improve compositional nonblocking verification of discrete event systems through the use of special events. Compositional verification involves abstraction to simplify parts of a system during ... -
Characterising Sound Visualisations of Specifications using Micro-charts and Refinement
(IEEE, 2017)For validation or for communication with a client, it is useful to create a visualisation of a specification. It is important that the visualisation does not mislead the user. In this work we look at how to characterise ... -
Characterising sound visualisations of specifications using refinement
(The University of Waikato, 2019)Visualisations can be used to help analyse, explore, and validate Z specifications. However, if visualisations contain errors or are used incorrectly then they can be misleading and harmful. The aim of this work is to ... -
Compositional nonblocking verification with always enabled and selfloop-only events
(University of Waikato, Department of Computer Science, 2013-11-19)This 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 ... -
Compositional nonblocking verification with always enabled events and selfloop-only events
(Springer, 2013-10-29)This paper proposes to improve compositional nonblocking verification through the use of always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts of a system during ...
