プログラムの静的検証（static V&V of program） 検証とは、仕様の検証を行うもので、動的解析と静的解析がある。 issunno-koin.hateblo.jp 静的検証は、正当性の証明を行う。動的検証では、プログラムが完全に正しいことは保証的ない。 正当性証明の手順 ①…