A small experiment in Event-B rippling

Gudmund Grov, Alan Bundy, Lucas Dixon

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010
Publication status	Published - 2010

Access to Document

A14FM : using A1 to aid automation of proof search in formal methods
Bundy, A. (Principal Investigator), Bundy, A. (Sponsor), Grov, G. (Co-Investigator (External)), Ireland, A. (Co-Investigator (External)) & Jones, C. B. (Co-Investigator (External))
EPSRC
1/04/10 → 31/03/14
Project: Research