Formal methods organizations