Automating Event-B invariant proofs by rippling and proof patching | springerprofessional.de

Springer Professional

Top

Formal Aspects of Computing

Published in:

Open Access 02-01-2019 | Original Article

Automating Event-B invariant proofs by rippling and proof patching

Published in: Formal Aspects of Computing | Issue 1/2019

previous article Formal reliability analysis of redundancy architectures

Title: Automating Event-B invariant proofs by rippling and proof patching
Publication date: 02-01-2019
Published in: Formal Aspects of Computing / Issue 1/2019
Print ISSN: 0934-5043
Electronic ISSN: 1433-299X
DOI: https://doi.org/10.1007/s00165-018-00476-7

Premium Partner