What do you think?
Rate this book
Temporal Logic of Programs
Introduction to the temporal logic of - in particular parallel - programs. Divided into three main - Presentation of the pure temporal language, semantics, and proof theory; - Representation of programs and their properties within the language of temporal logic; - Application of the logical apparatus to the verification of program properties including a new embedding of Hoare's logic into the temporal framework.
148 pages, Hardcover
First published January 1, 1987
3 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.