Author

K. Morris

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Formal veriﬁcation of run-to-completion style statecharts using Event-B

This work introduces a notion of reﬁnement into a ‘run to completion’ statechart modelling notation, and uses Event-B’s tool support for theorem proving to leverage its tool support for theorem proving.

K. Morris, C. Snook, Son Hoang et al. · 0 citations