Temporal Logic of Programs
By: by Fred Kröger
Series: EATCS Monographs on Theoretical Computer Science, 1431-2654 -- 8; EATCS monographs on theoretical computer science -- 8.
Publisher: Springer Berlin Heidelberg
Published: 1987
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] /
ISBN-13: 9783642715495
Description: 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.