A Practical Approach for Closed Systems Formal Verification Using Event-B.

Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook

Browse the full SEFM paper archive.