|
libcats.org
An Introduction to Assertional Reasoning for Concurrent SystemsShankar A.U.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.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#1
Задачи по теории относительности и гравитацииЛайтман, Пресс, Прайс, Тьюкольски. (Lightman, Press, Price, Teukolsky)Категория: Physics, Gravitation
5.09 Mb
#8
Токсикология ОВ и защита от оружия массового пораженияКаракчиев Н.И., Рыболовлев Р.С. (ред.)Категория: Медицина и здравоохранение
56.72 Mb
#10
И. Г. Араманович, В. И. Левин. Уравнения математической физикиИ.Г.Араманович, В.И.ЛевинКатегория: ЕСТЕСТВЕННЫЕ НАУКИ, НАУКА и УЧЕБА
7.77 Mb
|
|