Formal methods terminology