モデル検査ツールSpinによる組込みソフトウェアの検証 受講メモ================================================================================ 8/26 13:20〜15:00 チュートリアル２ セッションS2-3-1:「モデル検査ツールSpinによる組込みソフトウェアの検証」 講師: 青木 利晃（北陸先端科学技術大学院大学） 席数 ：約30席 参加者：約20名 ================================================================================ モデル検証がいろいろいわれているが、モデル検査ツールであるSpinを紹介する。 また、組込みソフトウェアにどう使われているか説明する。 ・ソフトウェアの信頼性 現在、社会システムの様々な場所にソフトウェアが組み込まれている。 -バンキングシステム、航空管
