Формальные спецификации - спецификации, полученные формальным способом с использованием математических формализмов, которые обеспечивают полное определение семантики.