Search
Now showing items 1-2 of 2
Challenges for Risk and Security Modelling in Enterprise Architecture
(2019-11-19)
From our experience cooperating with the Norwegian Armed Forces, we outline two interconnected challenges for modelling risk and security in an enterprise architecture: (1) modelling what is protected and why it is protected ...
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 ...