Search
Now showing items 1-1 of 1
Automating Event-B invariant proofs by rippling and proof patching
(2019-01-02)
The use of formal method techniques can contribute to the production of more reliable and dependable systems. However, a common bottleneck for industrial adoption of such techniques is the needs for interactive proofs. We ...