軽量形式手法
#Fleeting_Notes
軽量形式手法(Lightweight Formal Methods)
型システム、モデル検査機
確認用
Q. 軽量形式手法
メモ
『ソフトウェア工学の道具としての形式手法 Formal Methods as Software Engineering Tools』
『型システム入門 －プログラミング言語と型の理論－』
調査用
Google.icon 軽量形式手法
Wikipedia.icon 形式手法 - Wikipedia(ja)
Wikipedia.iconFormal methods - Wikipedia(en)