An Introduction to Assertional Reasoning for Concurrent Systems
 |
|
Описание:
This is a tutorial introduction to assertional reasoning based on temporal logic. The objective is to provide a working familiarity with the technique. We use a simple system model and a simple proof system, and we keep to a minimum the treatment of issues such as soundness, completeness, compositionality, and abstraction. We model a concurrent system by a state transition system and fairness requirements. We reason about such systems using Hoare logic and a subset of linear-time temporal logic, specifically, invariant assertions and leads-to assertions. We apply the method to several examples.Похожие книги
 | Auditing : An Assertions Approach Автор: Donald H. Taylor, G. William Glezen Год: 1999 |
 | Generating hardware assertion checkers: for hardware verification, emulation, post-fabrication debugging and on-line monitoring Автор: Marc Boule,Zeljko Zilic Год: 2008 |
 | Auditing: An Assertions Approach, 7E, Study Guide Автор: Donald H. Taylor, G. William Glezen, Donald H. Taylor Год: 1993 |
| Introduction to mathematical logic Автор: E. Mendelson Год: 1997 |
| Introduction to Fuzzy Logic using MATLAB Автор: S.N. Sivanandam Год: 2006 |
 | Simple Formal Logic: With Common-Sense Symbolic Techniques Автор: Arnold vander Nat Год: 2009 |