Temporal Logic of Programs
| Author | : Fred Kröger |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 150 |
| Release | : 2012-12-06 |
| ISBN-13 | : 9783642715495 |
| ISBN-10 | : 3642715494 |
| Rating | : 4/5 (94 Downloads) |
Book Synopsis Temporal Logic of Programs by : Fred Kröger
Download or read book Temporal Logic of Programs written by Fred Kröger and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
