Temporal Logic of Programs
Paperback or Softback 148 pages Nov 17, 2011
Millions of titlesEvery book you're looking for
Carbon-neutral shippingFree on orders over $39.99
Fast shipping worldwideDelivered to your door
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