Temporal Logic of Programs

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.

Subjects

Series Statement

• EATCS Monographs on Theoretical Computer Science, 1431-2654 -- 8
• EATCS monographs on theoretical computer science -- 8.

Links

• https://ezproxy.weizmann.ac.il/login?url=http://dx.doi.org/10.1007/978-3-642-71549-5

Other Editions

• Temporal Logic of ProgramsElectronic resourceSpringer Berlin Heidelberg1987-01-01
• Temporal Logic of ProgramsSpringer2011-01-01