product iamge

Temporal Logic of Programs

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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(s): Fred Kröger
Series: EATCS Monographs on Theoretical Computer Science 8
Publisher: Springer
Year: 1987

Language: English
Pages: 149
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages

Front Matter....Pages I-VIII
Introduction....Pages 1-8
Propositional Temporal Logic....Pages 9-23
Axiomatization of Propositional Temporal Logic....Pages 25-41
First-Order Temporal Logic....Pages 43-53
Temporal Semantics of Programs....Pages 55-77
Invariance and Precedence Properties of Programs....Pages 79-101
Eventuality Properties of Programs....Pages 103-120
Special Methods for Sequential Programs....Pages 121-132
Back Matter....Pages 133-148