Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) Ю. Г. Карпов

pic_54e49f22ea80d.jpg

Цена:
Описание В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.

Комментарии   

 
#1 ZaraNob 30.03.2020 00:39
coronavirus 2020 death toll
http://chloroquine-treatmentforcoronavirus.com/# - remdesivir and chloroquine
coronavirus npr
chloroquine sars
- coronavirus death toll 2020
coronavirus 5 month old
Цитировать
 
 
#2 ZaraNob 30.03.2020 03:36
coronavirus yakima
http://chloroquine-treatmentforcoronavirus.com/# - chloroquine covid-19
5 coronavirus in usa
chloroquine drug
- coronavirus 5 year old
coronavirus death rate 2020
Цитировать
 
 
#3 ZaraNob 30.03.2020 12:02
coronavirus 76
http://chloroquine-treatmentforcoronavirus.com/# - chloroquine coronavirus
n coronavirus symptoms
chloroquine for coronavirus
- coronavirus arizona
coronavirus yosemite
Цитировать
 
 
#4 ZaraNob 01.04.2020 10:47
coronavirus bat soup
http://chloroquine-treatmentforcoronavirus.com/# - chloroquine phosphate 250mg online
coronavirus meme
chloroquine otc
- coronavirus 5 year old
coronavirus bay area
Цитировать
 
 
#5 ZaraNob 01.04.2020 15:09
a coronavirus tunetei
http://chloroquine-treatmentforcoronavirus.com/# - chloroquine phosphate 250mg
7 coronavirus in singapore
chloroquine 250 mg
- coronavirus vaccine dog
coronavirus 5 million
Цитировать
 
 
#6 Zartshoot 02.04.2020 12:43
coronavirus on cruise ship
http://chloroquine-phosphate-250mg.com/# - order chloroquine
3 coronavirus toronto
order chloroquine
- coronavirus vaccine dog
coronavirus natural treatment
Цитировать
 
 
#7 Zartshoot 02.04.2020 15:45
coronavirus baltimore
http://chloroquine-phosphate-250mg.com/# - chloroquine phosphate 250 mg
coronavirus 36 year old
chloroquine online
- coronavirus md
coronavirus from what animal
Цитировать
 
 
#8 Zartshoot 03.04.2020 00:04
3 coronavirus cases in us
http://chloroquine-phosphate-250mg.com/# - chloroquine drug
coronavirus 4th
buy chloroquine online
- parvovirus o coronavirus
coronavirus how to protect
Цитировать
 
 
#9 Zartshoot 04.04.2020 15:50
coronavirus how to prevent
http://chloroquine-phosphate-250mg.com/# - chloroquine aralen
n coronavirus death toll
chloroquine otc
- coronavirus how to avoid
coronavirus quarantine period
Цитировать
 
 
#10 Zartshoot 04.04.2020 18:40
coronavirus where in usa
http://chloroquine-phosphate-250mg.com/# - chloroquine aralen
coronavirus name meaning
buy chloroquine
- coronavirus 70 alcohol
nj coronavirus
Цитировать
 

Добавить комментарий


Защитный код
Обновить

Задать вопрос