Formal | Based on mathematics. (This narrow definition is used in this SOAR to avoid the
confusion that arises when “formal” is used both to mean “mathematically based” and as a
synonym for “structured” or “disciplined.”)
Formal Method | A process by which the system architecture or design is mathematically modeled and