Principles of Model Checking
来源:互联网 发布:水利软件比较 编辑:程序博客网 时间:2024/05/18 01:31
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, or request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.
The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.
http://rapidshare.com/files/125963190/026202649X.rar
- Principles of Model Checking
- 《principles of model checking》中的离散时间马尔科夫链
- Principles of the Spin Model Checker
- model-checking
- model checking
- 书评 - - MDA Distilled: Principles of Model-Driven Architecture
- symbolic model checking notations
- 科研路上 - model checking
- 模型检测model checking
- Working Principles of CLR
- Principles of Software Development
- Principles of OOD
- Principles of Package Architecture
- Principles of Software Testing
- The Principles of OOD
- Principles of Motion Sensing
- Summary of Programming Principles
- Principles of Continuous Integration
- 海鸥乔那坦
- JSP九大内置对象
- Joomla! Cash
- gloox连接至服务器端
- reactos操作系统实现(28)
- Principles of Model Checking
- 使用netz 合并.net 写的 exe 和 dll 为单一EXE
- Object-Oriented Oracle
- gloox接收消息
- MPLS/VPN
- 天网(TSE)关键词与正文的匹配算法(重点在网页净化)
- 转到Fedora下再次实验
- 生我养我的地方
- TCP/IP Embedded Internet Applications