SATソルバーの”SAT”とは、”boolean SATisfiability problem”、すなわち 与えられた命題論理式が真になるかどうかを判定する充足可能性判定問題を意味しています。​

・SATソルバーとは？​
・モデル検査とは?​
・モデル検査を活用するには？​
・モデル検査を身近に実現するAnsys SCADE​
　1. 検査対象モデルのモデリング​
　2. 検証する性質の記述​
　3. モデル検査の実行​
　4. 検証結果の確認​
・モデル検査と状態爆発​
・モデル検査によるテスト駆動開発​
・モデルのリファクタリングモデルのリファクタリング​
・その他の活用方法 ～テストケースの生成～​
・Ansys SCADEで、難解な数独にチャレンジ！​ ​