Logic in computer science : modelling and reasoning about systems
著者
書誌事項
Logic in computer science : modelling and reasoning about systems
Cambridge University Press, 2000
- : hard
- : pbk
大学図書館所蔵 件 / 全33件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 375-377) and index
内容説明・目次
内容説明
Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic, and an introduction to the logical frameworks used in modelling, specifying and verifying computer systems. It provides a simple and clear presentation, covering propositional and predicate logic, and some specialised logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology: further technicalities are introduced only when necessary. Numerous examples are given, as well as a full exposition of a fast-growing technique for modelling and verifying computer systems, known as symbolic model checking. Numerous examples are given, and web support is available from http:www.cs.bham.ac.uk/research/lics.
目次
- 1. Propositional logic
- 2. Predicate logic
- 3. Verification by model checking
- 4. Program verification
- 5. Modal logics and agents
- 6. Binary decision diagram model checking
- Bibliography
- Index.
「Nielsen BookData」 より