ソフトウェア工学の道具としての形式手法 形式手法に関して歴史的かつ網羅的にまとめてあった OpenJML 上記でも触れられてたJava向けの拡張静的チェッカ？ ECS/Java2の後継？ Java8対応らしいので試してみる Home | OpenJML 机上の Kubernetes - 形式手法で…