Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.
| Author: Fred Kr?ger |
| Publisher: Springer |
| Publication Date: Nov 17, 2011 |
| Number of Pages: 148 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642715516 |
| ISBN-13: 9783642715518 |
Related Products
Createspace Independent Publishing Platform
Language and Logic; Temporality, Metaset, Recursion
$10.66