Browsing by Author "Francis, Rachel"

Now showing items 1-1 of 1

An implementation of a compositional approach for verifying generalised nonblocking

Francis, Rachel (University of Waikato, Department of Computer Science, 2011-04-27)

Generalised 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 ...