Temporal Logic of Programs

By Fred Kr Ger and Fred Kröger

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, andproof theory; - Representation of programs and their proper-ties within the language of temporal logic; - Application ofthe logical apparatus to the verification of program proper-ties including a new embedding of Hoare's logic into thetemporal framework.

• Format: Paperback
• Language: English
• ISBN: 3642715516
• ISBN13: 9783642715518
• Release Date: November 2011
• Publisher: Springer
• Length: 148 Pages
• Weight: 0.58 lbs.
• Dimensions: 0.3" x 6.7" x 9.6"