Introduction to the temporal logic of - in particular parallel - programs. Divided into three main parts: - Presentation of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their properties within the language of temporal logic; - Application of the logical apparatus to the verification of program properties including a new embedding of Hoare's logic into the temporal framework.
| ISBN-13: | 9780387170305 |
| ISBN-10: | 0387170308 |
| Publisher: | Springer Verlag |
| Publication date: | 1987 |
| Pages: | 148 |
| Author: | Fred Kroger |
| Language: | en |
| Binding: | Hardcover |
Discover more books in the same category
