Modal and temporal properties of processes
著者
書誌事項
Modal and temporal properties of processes
（Undergraduate texts in computer science）
Springer, c2001
- : softcover
大学図書館所蔵 件 / 全15件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [183]-186) and index
内容説明・目次
内容説明
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
目次
*Processes * Modalities and Capabilities * Bisimulations * Temporal Properties * Modal Mu-Calculus * Verifying Temporal Properties * Exposing Structure * References
「Nielsen BookData」 より
