(1) Specifikace napsal a schváleny v souladu s založena standards.~(2) specifikace napsaná v formální notaci, často pro použití v důkaz správnosti.