Formal assurance case Framework for Open systems dependability (FFO)

The agda code to accompany the draft paper "Framework of Formal assurance case for Open systems

dependability (FFO)"