Temporal Logic of Programs
Fred Kröger
Introduction to the temporal logic of - in particular parallel - programs. Divided into three main parts: - Presentation of the pure temporal logic: 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.
Категорії:
Рік:
1987
Видавництво:
Springer
Мова:
english
Сторінки:
158
ISBN 10:
0387170308
ISBN 13:
9780387170305
Серії:
EATCS Monographs in Theoretical Computer Science 8
Файл:
DJVU, 1.11 MB
IPFS:
,
english, 1987
Скачування цієї книги недоступне за скаргою правовласника