The literature provides some examples of uses of formal methods in
architecture design. Because IA applications frequently must meet mandatory
assurance requirements, examples are easierto find of the use of formal methods
forIA applications than for many othertypes of applications. Formal methods