2014-01-01から1年間の記事一覧
名古屋工業大学で行われた LT 大会 NGK2014B で発表しました。内容はタイトルそのままで、モデル検査ツール SPIN とその記述言語である Promela の特徴を概観する、というものです。 猫でもわかる! モデル検査器 SPIN 入門 from y_taka_23 当日の動画は You…
名古屋工業大学で行われた LT 大会 NGK2014B で発表しました。内容はタイトルそのままで、モデル検査ツール SPIN とその記述言語である Promela の特徴を概観する、というものです。 猫でもわかる! モデル検査器 SPIN 入門 from y_taka_23 当日の動画は You…