ウィキペディア英語版

出典：Wikipedia

NuSMV

出典:『Wikipedia』 (2011/04/06 16:47 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

NuSMV is a reimplementation and extension of SMV symbolic model checker, the first model checking tool based on Binary Decision Diagrams (BDDs). The tool has been designed as an open architecture for model checking. It is aimed at reliable verification of industrially sized designs, for use as a backend for other verification tools and as a research tool for formal verification techniques

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

閲覧履歴

全履歴クリア

・NuSMV
・NGC 3054
・Heinritz
・fn1l
・Urzendowski
・The EARL
・nongod
・cg9514
・AW124434
・goblin cat
単語帳に追加

NuSMVのページの著作権