Формальный (formal)

— выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях.

[Приказ председателя Гостехкомиссии России от 19.06.2002 № 187 «Безопасность информационных технологий. Критерии оценки безопасности информационных технологий»]