2. Model Checking. Вериф. парал. и распределенных программных систем. Карпов (2010) (1185529), страница 92
Текст из файла (страница 92)
1егоп. Чепйсабоп апд д!вп!Ьиад оЬвегчадоп о/гйе айегпабпц Ьй роково! и 1п !Р1Р тсб/ччбд.! /о!пг!пг, Сопц оп акопов! девспрг!оп гесйп!Паев, вреаа1 вем!ов оп едисадопа! саве вькйев !п ргогосо1в, Рапи, 1998. 83. !Ч. /апввеп, К. Ма!весси. ег а1. Моде! сЬесЫпц Рог аапацегв // 1.хСЗ, ч.1680, Зргпщег-Чегйщ, 2008. 84. А. 1оващ. Зесип!у Ргогосо! Чепцса6оп кяпц Зрю // Рпк. ЗР!Х К/огйвйор, 1995. 85. К. Р. /всоЬ!. Я.
М. Тпгйеппюв. А певг 1оус агпйпиабоп кайоль Рог юи16- р1ехогдавед РРОА суп!Пав!в // Оевщп Аигоаабоп СопГ., 1993. 86. /оовг-Р!евег Кагоеп. цейлоне Модецпц апд Чег1Псагюп П бадиаге Соизе оГ Аасйсп !/пуегв1гу, 2005. 87. 1. К/ейег. Р, Р!а1о1я, Уапц Еп-Ню. бага якиргпвяоп Ма Ькау деа/вюп д!врака, 2000. Ргосеедау // 1ЕЕЕ 1пюпюг!опа! Зуаровйии оп 1пйпаа6оп Тй у,2000. 88. ОопаЫ Кпидг. Тйе аг оГсогпрв1ег ргоцгапю!пц, ч 4. А дгай оГ веспоп 7!4. Вппку Оесаюп Оауапв П Адд!вап Фгп!еу, 2008. 89.
М. Кидайопвйа, б. Хогаап, О. Райег. РгойаЬПМк зутЬойс пкк!е! сйес1ггпц п16г РК1$М: а ЬуЬпд арргоасЬ // ЬХСЗ». 2280, 8рппцег, 2002. 90. 3. А. Кдрйе. Зепапдса! сопядегадоп оп пюда1 !оус // Асва РЫ1оворЬгса Репи!са, ч.! 6, ! 963. Русский перевод [1671. 91. М. Кидайогчвйа. Моде/ сЬесЫпц Рог ргоЬащцгу апд 6ае // Ргос. Сопц йоц1с 1п Союригег Зскпсе, 2003, гчпгч.са.ййаи,вс.ий/-дхр/рг!вю/. 92, 1, 1,апрогГ. Ргочпц дк сопеспквв оГ апй!Рюсевв рпгуаав П 1ЕЕЕ Тпюв оп Зойяае Епц., ч 3 Х2, 1973. 93. Ы.верея.
"Запе6игев" яипсдикв а по! "печег" П Рюс.7гй АСМ Зуюр.оп Рппгдр!ев оГ Ргоуаапюц 1апцаадев, 1980. 9. 9' 9' 1О 1О: 1О: 10г 10! 10! 10' 10! 94. 1.. 1люро|!. %Ьа! Зоод Ь !серова! 1о8!с // 1пй|юадоп Ргосея1п8'83, 1Р1Р Сон8гезз, 1983. 95. В.1лпЗЬз1з, Е Ванна, О. Ехе|дев !яр|оип8 МОО ргодисИН!у чдй Зойэяп Распи1ев. l/ Риз| 1п|. %ойзЬор оп Бой|таге Рас!опез, 2005. 96.
СЬпп8-Нпп8 ГлЬ Т!еп-Рн СЬеп. Сяпрпяз1п8 1пченед ГИез!п зса!аЫе |п!Ьпиа!юп |уз|ели Ьу Ь!пяу десяня дяуав епях5!п8 // АСМ/1ЕЕЕ СопЕ оп Зирегсоп|рндп8, 2001. 97. С. Т. Ье!ее|зон, Т. Н. Сопиев, К. 1.. К!чая. 1пнодисдоп ю а!Зог!йюв // М1Т Р|ея, 1997. ГТ. Кормен, Ч. Левзерсон, Р. Рнвест, К. Штайн. Алгоритмы: настроение н анализ.
— Мс МЦНМО. 19992 98. С. У. 1.ее. Кер|евеппвюп оГ з|ч!яЬ1п8 а|со|я Ьу Ыпа|у десмюп д!а8|аюв П ВеИ Зуя ТесЬ /оигпа! 38, 1959. 99. Р.1.апппзпне, Х. Мад|еу, апд РЬ. ЗсЬпоеЬе!еп. Теяреп! .1о8к |вЬЬ Го/8нваЫе раз| // Ь! Рпк. !7й 1ЕЕЕ Зуюр. 3.оЗВ !и СоиИииег Заявке, 2002. 100.
О, 1.они. ВюаЬ1п8 ав$ Гооп8 йе ХеедЬяп-ЗсЬгоедег рнЫ!с-Ьеу ргоюсо! пяп8 РОК П Тоо!з апд А18опй|пв Гог йе Сопя|по!юп апд Апа1уяв оГ Зув!япв: 2пд 1п|. %оййор, ТАСАЗ 96, 1996. 101, М. ГлпЗЬе|В А. РпнеИ, Ч. КодеЬ. ТЬе КОВОО яхе оГ в1юр1е СХР Го|ля!аз // СНАКМЕ, 2003.
102. К1в С. Глтзеп, !. Раина, %. ЧЬ 1(РРАХ 1и а пияЬеИ. // 1. оп Зойеаю Тоо!в Го| ТесЬпо!оЗу ТпювГег. ч. 1, 1997. 103. О. ЬеЬяапп. А. РпнеИ, 1. 3!ачЬ 1вра|дв! Ьу, /надое, апд Гаппевп ТЬе ейнз оГ сопсипеп| япепадоп П 1.ХСЗ, ч. 115, Зрг!п8енЧег1а8, 1981. 104. Х. 1.упсЬ.
О|зьтЬн|ед А!Гопй|пз // Могбап КанГвап РнЫ!вЬеи 1966. 105. %. С. ЬупсЬ. Сожрав вуз|епм: |еИаЫе ГпИ-днр!ех Где иаизяйзюп очег Ьа1Г-дпр!ех ю1ерЬопе Ипе П Сопппнп. АСМ, ч. 11, по. б, 1968. 106. ЗярЬап Мях. Моде! СЬесЫп8 П А Ниопв1 очяч!ея. ЬХСЗ 2067, 2001.
107. А1ап М1вьеьеио. Ап 1п!пх(нодон !о Ее/о-Знрргеззед В!пяу Осс1яоп Оя- 8/юпв П Ро|дапд ЗЯ|е 11п|., 2001. 108, Ззечео Р. МИ!ев Роппа! чепйсадоп оГ вупсЬюпяя яя!в!я Ап 1пдияга1 аррИсадоп оГ Роппа1 Мейодз // КосЬяеИ СоИаз, 2007. 109. ЗЬ(п-1сЬ! Мюа|о. Еего-зпррюзяд ВОВа йг ве| |пап!РнЬ|доп я союЬ|па|опа! Рп|Ыевз/( Рпк, оГОев18п Аниипадоп СопГеяпсе.
1993. 1!О. БЬ!п-кЬ~ Мяв|п. Вяяу дес!яов дя8|аим апд арр!кайюз Го/ Ч1.51 САО, Зрпп8еи 1995. 111. 1. Мвйег, Е Ькькпьег8, Н. Я. Апдегвеп, апд Н. Нн!Яаагд. О1!гсгеисе Овс1зюп ОаЯпнпв й Ргос. Апина! Сопй оу дю Еяоревп Авзосниюп Тот Союрнкг Бс!енсе !о81с (СЯЦ, 1999. 112.
К. 1, Мсьй!Ьтп. БуяЬойс воде! сьесЫп8 — вп арргоасЬ «г тЬе вине ехр!овюп ргоЫею П РЬ.О. Якяз. БСЯ, Сагпейк Мейоп 1/п!гегзьу, 1992. !13. К. 1.. МсМВ!ап. ЯутпЬойс пюде! сЬесЫп8 // К!няег Асадеюк РнЫЫкг, 1993. ! 14. В. М. Е. Мопи. Осе!в!оп пеев яю д/а8кик. й АСМ Совриг. Бнгг ч64, 1982. 115. Р. Марр, К Б!яо, Нвпщ ЯРП4 го гепру мснпгу ргорегдев оГ сгурьщтарЫс ргоьхоь И Моде! СьесЫп8 Яойявтн: рть 1пкпя!юпа! БРЫ 'й/одкьор, 2002, 11б. Х. Мя«еу, Р. ЯсЬпоеЬе!еп. 7ЯМ1/ — а вуюЬо!1с коде! сьесьег Тот ьнапгьвйее апа!узй о/ зузкюв П ! я 1пг Сопу оп !3напйаг!не Езв!надои о/ Бузгеюв(< !/ЕБТ 2004). 117, М.
Мнйег-01ю, О. Яськ!й, В. Бюйеп. Миде! сьесЫп8. А гнюпа1 !пьоднсдоп // ЕНСЯ! 694, 1999. 118, С. Мяне!, Т.ТЬеоЬа!д. А18опдгюв апд дяа япкьигя гп г'1Л1 дезщп. ОВОО Ранпдат!оп впд АРР1!яи!опв /( Ярг1п8ег, 1998. 119. С. Метис!, Т. ТЬеоЬаЫ. Огдекд Ыпяу десЬюп д!а8ккз апд гЬе!г з!Яп1йсвпсе 1п союрнтег аЫед деяйп о/У1Я! с!кн1я — а Бнггеу // Е1есггопк Со1- 1оьн1т оп Союрнят!ои Союр1ехьу, Карги! Х39, 1998. 120. К М.
Хеедьяп, М.О. Бсьгоедег. !(яп8 епсгурдоп Тот андгепг!сат«ти !п ЬиЯе пеыейз о( совряегв // Соююнп1са6оп оЕгье АСМ, Ч. 21, Х12, 1978. 121. Я. Оя!сЫ, 1.. 1аюроя. Ргогюй 1ггепея ргореп!ез оГсопсипеы рюйююз /( АСМ Тгапв. сп Рпщг. Ьыщ.
впд Бузгетпз, з 4, п3, 1982. 122. ОМО 1/МЕ Ярес/йсайоп к ! 5. // Доступно по адресу Ытрд(яятг.опасть. 123. К Рнпй 1. Сн. А ВЕ О ЯАТ зо!гег Тот вайвйаЫ1!ту геяьщ: Ап !адовое! свае в«и!у. /( Авя! в оГ Мяьеяат!св ян! Аг6йс«6 1пте!!1Яепсе, к17, п2, 1996. 124. Р. Р!пЯтее, Е. М1ЬЬ, б. Но!гикни, М. Яппи, О. Оаюв. Уа1ЫЯЫп оГю1взюп сивка! войкян девщп апд Ьпр/еюяпадоп няп8 коде! сьесЫгщ // Ргос.
оГ гье 21зг Ощря1 Ащопсз Бувююв СопГ, к 1, 20Ы. 125. А. Рпней. Тье мюрога1 1о81с оГргоуап // Ргос. найк 181Ь Аппу. Буюр. оп Ронпдя!оп оГ Сок ритег Бе!енсе, 1977. 126. й/. Ряьусх, Е, А. Бовпояз1а/ Сепедс ВОО.опепгед раьетп с1авяйегв // Бргюйег, 2005. Ошсакл 144. Камне( %азаЫ. А Ропю! Чепйсвйои о(сазе веду Рог!ЕЕЕ-Р.896 АгЫгы Ьу Опий а Моде! СЬесЫпй Тоо! // Ьн /онгпа1 о( Соврав. Бс1 апд Хвчгадг Беаипгу, к 7, ХЗ, 2007. 145. Рюте %о1рег. Соиыгиайпй Алгоеав йов Теерога! Ьоус Рв'ви!аз: А Тизопа! П ЬХСБ к 2090, Брппйег-Уейай, 2001.
146. Рюте %о1рег. Теврога! Ьгу1с сап Ье пюге скрыв%а П 1п(агав!оп впд Соп!го1, к 56(1-2), 1983. 147. Р. %оеуе1. БувЬо!к Торо1оуса! Богйпй м(ГЬ ОВ00з // Рпк отгйе 28а!пг Буер оп МагЬ Роипдайоп о(Свири! Бс(. (1.ХСБ, ч. 2747), 2003. ! 48. Рюте %о!рст. Ехргезз(пй !петен!пй Ргореп!в о( Ргоуавз в Ргоровпиив! Тевров1 Ьоус // Ргос. ОФ Аппп. Бувр, оп Ртвс!Р1ез о( Ргоуавпнпй Ь ищиайез, 1986. 149. Р.
%о1рег. Ап гпииднсйоп го люде! айеа1йщ. и Бойипге (.ка!йу %одвйор, 1995, 150, В. Уапй, У. СЬеп, й. Вг(апЬ О. О'Найагап. Браса апд йве ерйс)епг В00 сопзписйоп чв котЫпй зв сон!го! П АБР 0езщп Аагопвгюп Соп(., 1998. !51. %1пй Ь. Уеапй, К. Ьевщ, ег а1. Моде! аЬесЫпй зизрепд!Ыа )им)пев ргосеззез Ча мыесйзп двуаез апд СБР П Ргос. МБ%Е)Б'06, 2006. 152. 1. Увир, А. К. Мой. БувЬо11с люде! сЬесЫпй Рог ечапьдпчси гсаййве зузгепн П АСМ Тгзпз. оп Ргойг. Ьюй, апд Буыепп, ч.
19, Х2, 1997. 153. Б. Уощпе. Кгопоз: а чепйсайоп гоо1 Гог геа1-г)ве вузввзу й оп Бойччве ТОО1з Рог ТесЬпо1ойу Тгапз(ег. ч, 1, ОсгоЬег, 1997. 154. Б. Уоч)пе. Мо!а1 сйесЫгщ йвед аи!овага П 1.ХСБ, ч, 1494, 1998. Литература на русском языке ! 55. А. Аграновакйй, В. Зайцев, Б. Телеснин, Р. Хван.
Верификация программ с поновью моделей. — Опгрытые системы, )й 12, 2003. !56. Н. Ф. Богаченко, Р. Т.Файзуллин. Синтез дискретных автоматов.— Омск ОмГУ, 2006. 157. М. А. Гаврилов. Современное состояние теории репейных устройств и конечных автоматов в кн, Теория конечных и веровтвктных автоматов. — Ма Наука, 1965. 158. Ю. Г, Карпов. Теория автоматов. — СПби Питер, 20(0.
159. Ю. Г. Карпов. Теорив и техналогив программирования. Оановы построения трансляторов. — СПбс БХВ-Петербург, 2005. 160. Ю. Г. Карпов, А. В. Толстяков. Аналитический метод верификации протоколов. — Автоматика и вычислишльная технивь № 1; 1985. 1б!. Ю, Г. Карпов. Спецнфшация и верификация протоколов на основе ССБ.
— Автоматика и вычислительная технишь № б, 1986. 162. Ю. Г. Карпов. Простой протокол, который доказывается просто. — Автоматика и вычнслнтельназ техиишч № 1,!987. 163. Ю. Г. Карпов, А. В. Борщев, А. А. Мешерскнй. Проверка семантической корректностм протоколов с использованием свойства когереитносгн.— Автоматнка м вычислительная технике. № 5, ! 989.
164. Ю. Г. Карпов. О корректности параллельных алгоритмов. — Программирование, йй 4, 1996. 165. Ю. Г. Карпов. Анапе коррекпккти параллельной программы разлеленил мноместв. — Программирование, № б, ! 996. !66. С. А. Кринке. Семантический анализ молзлыюй логики.!. Нормальные модельные исчисления высказываний в кн. Р. Фейга "Модельная логика". — Мл Наука, 1974. 167.
А. С. Нариньянн, В. В. Телерман, Д. М. Ушаков, И. Е. Швецов. Программирование в ограничениях и недоопрелеленные модели. — Российский НИИ искусственного интеллекта, 2002. 168. Научно-технпческий вестник Саню-Петербургского государственншо университета информационных технологий, механики и оптики.— СПбс Вып. 53, 2008.
169. С. Рассел, П.Норвиг. Искусственный интеллект. Современный подход. — Мс Вильямс, 2006. 170. Ч. Чень, Р. Ли. Математическая логика н автоматическое доказательство теорем. — Мс Наука, 1973. Материалы из Интернета 17! . 138 Оепма! Ассоспйпй О!Все Керог! 92026; Ьцрйдтим.увз.егйГярр/зюгэагз78ведю920263ию. 172.
Анализ отказа системы управления Анап 5: Ьцргйтегнвгз.а!гйаю.гв/2007Д!3/121ШР$е.54337-Атак!ув АНав-6-4- !уппуа-1996.ребгейвом1-ргойгаю юле!-езЬ!ЬМ.ЬЬи1. ! 73. Сгосорш; А Тоо! Рзг Гйшр1е апд ЕН!с!ею Кейз!!опа! Сошрпзпюп: ьирпую!с.ерй.сь7-ьеуеггсгосерат/. 174. ЕТМСС: Ьмрйдтнчт73пйггюай!ьвпбейавйеп.бегшюее7. 175. ЬМР$/!ер$ииэшраеелеэФР$$оФ.пз/ЫЬ$Лзавегзй$7/кайму-$4имюоз/20.йпп!. 176. Ьпр !/сПНэу.гн/17571/. 177. ЬМР$!Апгп.ййзйайеспНгу.огй/огй/всзгэг2003/030326-разНО0$1.Ыю. !78. Ьпр:/Агате.шаЛаз/шаСР/БЕ7$$85$371$/ЗЕ !паек ЬЛмш$. 179.
Проблема фермер-волк-коза-капуста: ЬМР$!Агичг.саз-ймйво!.огй/сзй/6оазСаййайе7$/$6$эйгю$. 180. Викнпедил. Проблема миссионеров и каннибалов: Ьпрг/!еп.м!ЫреПа.огЕАНЬ$/Ммэ$опаНю авб саав$йаЬ ргоЫею. 181. Ьп/и/!гмнчИребю.огй/м$ЬЬТЬеп$с-25. 182. РК1БМ: ЬМР$/Агнчг.ш.ййаш.ас.ый/-ч$кр/РНзю/. 183. ТпоТомегв ($/п1. Во/о8па): ЬПР$/Агичглй.вйигЬЛ!/Ьегвагбодмоа~югз/. 184. Ьнр:!!евлНЫрглэйьогй/н$8$/Теюрога! 1о8$е.
185. 1ага Рзгйр1пдег Нвперэбе$ Ьпр:!/!асара!Ьйибеглоагсеуогйе.аез/. 186. г'АБМ: Ьзз/и//ачгихз согоайксба/-аг$е/уюнз/. 187. ЬМР!!!еалНЫрс6$а.огй/мйа/БСАПЕ. 188. Ьмр$!!пмсагсй.ю1спмой.сею/ей~и/. 189. Бр/п $$/огйзйорз: Ьпр$!!зрэигооФ.сею/зрэп/эуоНмйорз/$пбекЛгзю!. 190.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
