<電子ブック>
Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics / by Fabio Mogavero
(Atlantis Studies in Computing. ISSN:22128565 ; 3)
版 | 1st ed. 2013. |
---|---|
出版者 | Paris : Atlantis Press : Imprint: Atlantis Press |
出版年 | 2013 |
本文言語 | 英語 |
大きさ | XVII, 149 p : online resource |
著者標目 | *Mogavero, Fabio author SpringerLink (Online service) |
件 名 | LCSH:Computer science LCSH:Machine theory LCSH:Algorithms FREE:Computer Science Logic and Foundations of Programming FREE:Formal Languages and Automata Theory FREE:Algorithms |
一般注記 | Graded Computation Tree Logic -- Minimal Model Quantifiers -- Reasoning About Strategies -- Relentful Strategic Reasoning -- Appendix A Mathematical Notation In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games HTTP:URL=https://doi.org/10.2991/978-94-91216-95-4 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9789491216954 |
|
電子リソース |
|
EB00230349 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA75.5-76.95 DC23:004.0151 |
書誌ID | 4000119322 |
ISBN | 9789491216954 |
類似資料
この資料の利用統計
このページへのアクセス回数:2回
※2017年9月4日以降