handout
このタグの解説について
この解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。関連ブログ
ネットで話題
もっと見る10ブックマークhandout.dvihttp://www.kurims.kyoto-u.ac.jp/∼ichiro 1 1.1 — • – – – • (formal verification, formal methods) [3] 2 • theorem prover proof assistant PVS Isabell/HOL Coq – – • Kripke M ϕ M ϕ M |= ϕ model checker – M ϕ M ϕ – ∗ M ∗ M ϕ state explosion 1 1.1 ( ) P, NP, [5] ←→ ←→ • • NASA *1 • specification modal l...
www.kurims.kyoto-u.ac.jp
www.kurims.kyoto-u.ac.jp