形式的手法の基礎と応用
仕様記述、模型検査、定理証明の統合的理解 - ソフトウェアの数学的設計入門
目次
第I部 基礎編:形式的手法の基盤
第II部 手法編:主要な形式的手法の理解
第III部 検証編:システムの正しさの確認
第IV部 実践編:実際のプロジェクトでの活用
付録
📄 ライセンス
本書は Creative Commons BY-NC-SA 4.0 ライセンスで公開されています。
🔓 教育・研究・個人学習での利用は自由 ですが、💼 商用利用には事前許諾 が必要です。
お問い合わせ
株式会社アイティードゥ(ITDO Inc.)
Email: knowledge@itdo.jp
著者: 太田和彦(株式会社アイティードゥ)
バージョン: 1.0.0
最終更新: 2025-07-28
GitHub Pages: 自動デプロイ対応