形式的検証 - Wikipedia
ja.wikipedia.org