Temporal Logic of Programs
Edición de la obra Temporal Logic of Programs
| Autor | Fred Kröger |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| Páginas | 148 |
| ISBN-13 | 9783642715518 |
| Número de Cutter | K93t |
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.