Now showing items 1-1 of 1

    • Automating Event-B invariant proofs by rippling and proof patching 

      Lin, Yuhui; Bundy, Alan; Grov, Gudmund; Maclean, Ewen (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 ...