Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)
Book Details
Author(s)
Fred Kröger
Publisher
Springer
ISBN / ASIN
3540170308
ISBN-13
9783540170303
Availability
Usually ships in 1 to 3 weeks
Sales Rank
#10,122,544
Category
Computers
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
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.
