(1) Спецификация написана и утверждена в соответствии с создана standards.~(2) спецификации, написанные на формальные нотации, часто для использования в доказательство корректности.