libcats.org
Главная

Formal verification of timed systems: a survey and perspective

Обложка книги Formal verification of timed systems: a survey and perspective

Formal verification of timed systems: a survey and perspective

An overview of the current state of the art of formal verification of real-time systems is presented. We discuss commonly accepted models, specification languages, verification frameworks, state-space representation schemes, state-space construction procedures,eduction techniques, pioneering tools, and finally some new related issues. We also make a few comments according to our experience with verification tool design and implementation.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

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

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

Contemporary Theatre, Film and Television, Volume 97

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

CodeIgniter 1.7

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

Мифы древних славян

Автор: , Автор: , Автор:
Категория: society, religion, society, country
Размер книги: 3.99 Mb

Topics in Cohomology of Groups

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

After Twilight [Anthology]

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

Sideways Stories from Wayside School (UK)

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