形式手法
#QA
#仕様定義
https://ja.m.wikipedia.org/wiki/形式手法
ソフトウェア工学の道具としての形式手法
ゼロから学んだ形式手法 - DeNA Testing Blog
形式手法とテスト そして、その先について
ソフトウェア・エンジニアリングの新しい潮流 -- Deep Specificationの世界
形式手法による分散システムの検証 〜S3 の一貫性モデルを例として〜
/mrsekut-p/形式手法
形式手法はなぜ流行っていないのか