Crossmark

Automating Event-B invariant proofs by rippling and proof patching

Published Print: 2019-02-12

Authors

Lin, Yuhui https://orcid.org/0000-0002-9601-6538
Bundy, Alan

Grov, Gudmund

Maclean, Ewen
Funding

Funding for this research was provided by:

Engineering and Physical Sciences Research Council (EP/H024204/1, EP/E005713/1, EP/M018407/1, EP/J001058/1)
License Information

Text and Data Mining valid from 2019-02-12
More Information

Article History

Received: 18 October 2016

Accepted: 7 December 2018

First Online: 2 January 2019

Document is current