Automating Event-B invariant proofs by rippling and proof patching

Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean

School of Computer Science

Research output: Contribution to journal › Article › peer-review

1 results

Finished
ABC: Adaptive Brokerage for the Cloud: ABC: Adaptive Brokerage for the Cloud
Barker, A. D. (PI) & Thomson, J. D. (CoI)
EPSRC
1/04/18 → 30/09/22
Project: Standard