formalize (vt)

formalize vt. formalizál

formalized specification n. formalizált specifikáció