libcats.org
Главная

An Introduction to Assertional Reasoning for Concurrent Systems

Обложка книги An Introduction to Assertional Reasoning for Concurrent Systems

An Introduction to Assertional Reasoning for Concurrent Systems

This is a tutorial introduction to assertional reasoning based on temporal logic. The objective is to provide a working familiarity with the technique. We use a simple system model and a simple proof system, and we keep to a minimum the treatment of issues such as soundness, completeness, compositionality, and abstraction. We model a concurrent system by a state transition system and fairness requirements. We reason about such systems using Hoare logic and a subset of linear-time temporal logic, specifically, invariant assertions and leads-to assertions. We apply the method to several examples.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Авиация и космонавтика 1997 07

Автор:
Размер книги: 7.04 Mb

Physical Fluid Dynamics

Автор:
Размер книги: 55.84 Mb

A Random Walk Down Wall Street

Автор:
Размер книги: 4.80 Mb

Just Like a Rodeo

Автор:
Размер книги: 1 Kb

The Difference Engine

Автор: , Автор: , Автор:
Категория: fiction
Размер книги: 336 Kb