モデル・チェッキング

出典: くみこみックス

2009年3月13日 (金) 03:00の版 (ソースを表示) Kumikomiadmin (会話 | 投稿記録) ←前の差分		最新版 (2009年3月13日 (金) 07:50) (ソースを表示) Kumikomiadmin (会話 | 投稿記録) M (1 版)
（間の 2 版分が非表示です）

---

最新版

モデル・チェッキング【Model Checking】



【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月．

関連項目

• プロパティ・チェッキング（同義語）