Isabelle/HOL-Z
Isabelle/HOLでZ記法を解析するやつらしい
確認用
Q. HOL-Z
参考
『仕様記述言語Zと証明環境 Isabelle/HOL-Z』
『ソフトウェア工学の道具としての形式手法 Formal Methods as Software Engineering Tools』
関連
#HOL #定理証明支援系 #Isabelle #形式手法