|
|
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.
Скачать книгу бесплатно (pdf, 3.05 Mb)
Читать «An Introduction to Assertional Reasoning for Concurrent Systems» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Про-ведение не есть пре-ступлениеАвтор: Ломер КитКатегория: Научная Фантастика
Размер книги: 30 Kb
Электромобиль: Техника и экономикаАвтор: Авторы: В.А.Щетина, Автор: Ю.Я.Морговский, Автор: Б.И.Центер, Автор: В.А.Богомазов. Под общ. ред. В.А.Щетины.Категория: транспорт
Размер книги: 2.30 Mb
Lurie Modeling of Oil Product and Gas Pipeline TransportationАвтор: Mikhail V. Lurie, Автор: Emmanuil SinaiskiКатегория: Chemistry-Environmental-Material
Размер книги: 1.78 Mb
Computability theoryАвтор: S. Barry CooperКатегория: Cs_Computer science, CsNp_Computability
Размер книги: 3.17 Mb
Do biegu, gotowi - start!: wprowadzenie do SPSS dla WindowsАвтор: Thomas W. Pavkov, Автор: Kent A. Pierce
Размер книги: 3.54 Mb
|
|
|