nach oben

Erschienen in:

Open Access 02.01.2019 | Original Article

Automating Event-B invariant proofs by rippling and proof patching

verfasst von: Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean

Titel: Automating Event-B invariant proofs by rippling and proof patching
verfasst von: Yuhui Lin
Alan Bundy
Gudmund Grov
Ewen Maclean
Publikationsdatum: 02.01.2019
Verlag: Springer London
Erschienen in: Formal Aspects of Computing / Ausgabe 1/2019
Print ISSN: 0934-5043
Elektronische ISSN: 1433-299X
DOI: https://doi.org/10.1007/s00165-018-00476-7