形式手法 - wint

形式手法

紹介記事

https://monoist.atmarkit.co.jp/mn/articles/0701/19/news108.html

いまさら聞けない形式手法入門

誰でも使える形式手法

https://monoist.atmarkit.co.jp/mn/articles/0809/17/news125.html

https://monoist.atmarkit.co.jp/mn/articles/0810/20/news106.html

https://monoist.atmarkit.co.jp/mn/articles/0811/19/news144.html

https://monoist.atmarkit.co.jp/mn/articles/0901/21/news116.html

https://monoist.atmarkit.co.jp/mn/articles/0902/20/news137.html

形式手法のまとめ #VDM++ - Qiita

JAWS DAYS 2018 で形式手法による IAM の検証について話してきました - チェシャ猫の消滅定理

Alloy on AWS

書籍『抽象によるソフトウェア設計－Alloyではじめる形式手法－』の紹介 - InfoQ

製品

Alloy

VDM++

VDMTools

あとで読む

Galois - What Works (and Doesn't) Selling Formal Methods

sell and earn as project

small and agile steps