formal method

[ریاضیات] روش رسمی، روش صوری