Overview
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
