形式的検証 - 他の言語