The Case for Using Simulation to Validate Event-B Specifications.

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquires

Browse the full APSEC paper archive.