形式的検証とはなんですか？

A. 形式的検証とは、ハードウェアおよびソフトウェアのシステムにおいて、形式手法や数学を利用し、形式仕様記述やプロパティに照らしてシステムが正しいことを証明したり、逆に正しくないことを証明することです。

参考URL:https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E6%A4%9C%E8%A8%BC