Author

C. Snook

h-index 20 View on Semantic Scholar

We have 1 of 125 papers

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