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.
| ISBN-13: | 9783540170303 |
| ISBN-10: | 3540170308 |
| Publisher: | Springer Verlag |
| Publication date: | 1987 |
| Edition description: | 1 |
| Pages: | 148 |
| Product dimensions: | Height: 0 Inches, Length: 0 Inches, Weight: 0.8487797087 Pounds, Width: 0 Inches |
| Author: | Fred. Kroger |
| Language: | en |
| Binding: | Hardcover |
Discover more books in the same category
