|
|
libcats.org
The Austin Protocol CompilerTommy M. McGuire, Mohamed G. GoudaThe TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. The Austin Protocol Compiler illustrates that two types of semantics of TAP are equivalent. Thus, the correctness of TAP specification of some protocol, that is established based on the abstract semantics of TAP, is maintained when this specification is implemented based on concrete semantics of TAP. The equivalence suggests the following for developing a correct implementation of a protocol: 1. Specify the protocol using the TAP notation. 2. Verify the correctness of the specification based on the abstract semantics of TAP 3. Implement the specification based on the concrete semantics of TAP For step 3, this book introduces the Austin Protocol Compiler (APC) that takes as input, a TAP specification of some protocol, and produces as output C-code that implements this protocol based on the concrete semantics of TAP. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Откуда возникают внутренние проблемы и как их преодолеть?Автор: Константин и София Литвиненко
Размер книги: 2.40 Mb
Swayne's Advanced Degree in Hold'emАвтор: Charley Swayne, Автор: Daniel Negreanu
Размер книги: 6.21 Mb
A Russian Journal (Penguin Modern Classics)Автор: John SteinbeckКатегория: Наука (общее), Научно-популярное
Размер книги: 180 Kb
An Inquiry into the Philosophical Foundations of the Human Sciences (San Francisco State University Series in Philosophy)Автор: Alfred Claassen
Размер книги: 36.95 Mb
9К72. 8К14 и 8К11. 8Г17. Автозаправщики окислителя 8Г17М1 (8Г17М) и 8Г17-1 (8Г17). Рук службы. Кн 1. Части 1 и 2. Изд 2.Автор:
Размер книги: 5.57 Mb
|
|
|