formal 0 formal Expresión en un lenguaje de sintaxis restringido con semántica definida basada en conceptos matemáticos bien establecidos. 2017-10-31 Common CriteriaCC formal specificationespecificación formal informalinformal semiformalsemiformal