2. Model Checking. Вериф. парал. и распределенных программных систем. Карпов (2010) (1185529), страница 91
Текст из файла (страница 91)
Вегйогики, М. Окх. МодеИп8 апд чепйскюп оГ йпед дерепдепг зузгепк из!пб йпед ре!и' пеь П 1ЕЕЕ Тгапв. оп Бойкаги Епб!пееппб, к 17, п. 3, 1991. 16. Егеп И/И/ею Вей. ТЬе Роипдадопз оГМвйеюккз// Хогй НоИапд. 1959. 17. С. Вгсп, Р. ОодебоЫ, Теюрога! Гл81с Опегу-СЬесЫп8 П Ргос. 1бй Апп. 1ЕЕЕ Буюр. 1лб!с !и Союрпкг Бе!сисе, 2001. 18. Р. ВассЬив, Р. Кабапха. 1/з/пб Теюрога1 /лб!сз Го ехргеы всагсЬ соппо! Ьюгг1едбе йг р1апвпб. Агдйс1а1 1пге!ИБепсе, к 116, 2000.
19. СЬпзпд Вакг, /ооюр1егег Кагоеи. Рппс1Р1ев оГ Моде! СЬесЫпб П Т1м М!Т Ргевв, 2008. 20. А. В!ем, А. К1сй А сазе киду оп дИГеюпг пим1еИпб аррпгвсЬез Ь/пед оп пюде1 сЬесЬ!иб — гепГупщ пшиеюпз чегвйпв оГ йе а1юпгю/иб ЬИ ргогосо1 и!й БМ // ОпгеегзЬаг Каг1зпйе. 1995. 21. 1.
Воппапп, Х !лье, М. Рауег, О. Чепг!. Моде1 сЬесЫпб 1и пщпвпк1 Ьагд«гаге девщЬ // Ргос. оГ !и!. Оез!Бп Апююадоп Сои Гквпсе, 1995. 22. О. ВосЬююю. у!и!к выл дезспрдоп оГ соююипкадоп рппосо1в // Союрпс Хегггогвв, к 2, 1978, рр. 361-371. 23. Р. ВеггоИ, М. Рпгоге, М. Иозед. РЬгпп!пб ав ваде! сЬесЫгщ П АГРЕ'02 Наиде-Оп Тпгоив1, 2002, 24. Кпщп Вюгеег. В!иву десппю дю8гаюз апд аикююед геп!Исю/оп П Вереи 2004. 25. И.
Вг/аиг. ОгарЬ Вюед А18опйпп Гог Ьоо!ееп йпсдоп юап/ри1адоп // !ЕЕЕ Тиюзасгюп оп Союрпюгв, к С-35, по 8, 1986. 26. 3. И. ВпсЫ. Оп а дескюп юейод 1и гез!псгед зесопд огдег апдппедс // Ргос. ! пюгиаг. Сопбг. 1.о!Рс, Мейод апд РЫ1ов. БсЬ БгапГогд, 1962. 27. А. С!юаЫ, Е.М. С1вйе, Р. О!апсЬщИа, ав1 М. Козеп'. М/БМЧ: А Хегс зуюЬо!к пюде1 сЬесаег П 1пюгпадоиа1 /оигва1 оп Бойегаге Тоо!з Гог ТесЬпоЬ/бу ТюивГег, 2(4):410-425, 2000.
28. О. Сабод1, Р. Саюиюд, Б. Оиег. Сап ВООв союрею ичй БАТ во!веге оп Ьоипдед ппх/е1 сЬесЫп82 П Ргос. оГ йе Оев!бп Аюопадоп Сспйгепсе, 2002. 30 31 33 37 38 39 41 42 43 29. Едпюпд М. С1айе, Е. А!1еп Еветзоп. 0еащп апд вупйев!в оГ вупсЬгоп!тйоп вЬе!стопа ив!п8 ЬтпсЫп84!ве теврть! !оус /( 1.оус оГ Ртоуавв, 1981.
30. Е. М. С!мде, Е. А. Етстоп, А. Р. $!м!и Аотопятк ттепйсадоп оГ йоде-агате сопстгепт вувтпм ивв8 тевропд Ьт8!а вресукатюпв: А Огас!!са) АррптасЬ П Ргос. 1Ой АСМ Бутр. оп Рппс(р1ев оГРгоуапвпп8 Ьапуищев, 1983. 31. Е. М. С(айе, Е. А. Евегвоп, А, Р. БЬйа. Аиютаба тепйсайоп оГГтп)в-ввю сопсипепт вувювв ияп8 теврота! Ьт8!с вреа(йсатюпв (/ Асм тптв. Ргоуяп. Еащ. Буев, 8(2), 198б, 32. О. Соидетц Н.
Рт(ие, !. Майе. А ЬттдтйтоиБЬ (п пго-!ече( (оус ппптпптл6оп П 1пт %оййор оп (о8!а Бумов!в, 1993. ЗЗ. Е.СЬпЬе, О. ОпипЬещ, Б.Ли, У.|и, Н.Че!й. Совпегехавр!е-уидя1 АЬвттстюп Кейпетепт // Ргос.! пт. СопГ Совротг АЫед Уел йсабоп, 2000. 34. Е. М. С!идте, О. ОтвЬещ, О.
Ре!ед. Моде! сЬссЫп8 // М!Т Ртевв, 1999. (Э, М. Кларк, О. Грамберг, Д. Пелед. Верификаиив моделей программ: Моде! СЬесЫп8// М., 2002). 35. %. СЬап. Теврога! (о8!с Оиег!ев (/ 12й СопГ. Совртег А!дед Чепйсатюп (САЧОО), 2000. Зб. $. СЬапйа ет а(. Бойппге воде! сЬесЫп8 т ртасйсе: Ап !идпмпа1 Сав Бтиду, 2001.
37. А. С!та!6 ет а1. Моде! СЬесЫп8 БаГету Спиаа! Бойттаге к(й Брйа: ап Аррйсабоп то а Ка!1пиу 1пюг1осЫп8 Бувтет // ЫЧСБ!5!б, Брпп8ег-Чейа8, 1998. 38. 3. С. СогЬеп ет а(. Ехттасдп8 йпйе зле тоде!в йтп Зава вопке соде П 1и Ргос. 22гд (пт Сопй оп Боймти Епуитпп8, 2000. ЗЯ. О. Саида/с 0о!п8 Ьво-1ете! (оус пппппяайт 100 6вев Гытег l/ Ргос.Бутр. оп О!всвте А!утпйвв, 1995. 40. Н. Сао, $.
У!и8, 1Х Оп. Томядв воде!-Ьатд вепГкт!оп оГВРЕ1, вйй вод. е( сЬесЫп8 П Ьв бй 1ЕЕЕ 1пт, СопГ. оп Совртег ав! 1п!оплат. ТесЬпо1о8у, 200б. 41. М. В. 0теуег. О. А. Авпинп, 3. С. СотЬеи. Ргорег!у врестйсайоп рапепм йк йпде-втат чепГтсайоп П Рте. оГ йе 2пд %оййор оп Ролла) МодеЬ в Бойппте Ргасбсе. 1998. 42. С. Ооп8, Р. Мо!дог. %Ьат Огардв аап Ье е/Гтсют)у герввтиед Ьу В00в П!пт Соп(оп Сотрибп8г ТЬеогу апд Арр!кайопв, 2007.
43, Ко(Г 0тсЬв1ег, 0ейеГ $!е!тп8. Ввяу дес!яоп д!вуаля ю йеоту апд ргасйп // 1пютпатюпа! Зоила! оп БТТТ, г 3, 2001. 44. Е. 0/. О!)Ьяга, Оепчадоп оГ а 1егпипабоп дязсдгя а18опдап Гог дян(Ьяед соврикйяз // ТесЬ. Кер. ЕГВ/0-840, 1/п1.
оГ Теин ег Анздп. 45. Е. А. Етегиоп, !. у. На1реип. "Вопи)яез" апд "пог печег" я«1яяд: Оп ЬгапсЫп8 «егия 1яеаг гине !евро«а! 1о8к П Рпк. оГ Иге Апина! АСМ Буяр. оп Рппс!Р)ев оГ Рго8«яия)п8 (ан8оа8аз, 1982. за. Е. АИеп Еяегзоп, СЫп-ваещ 1.е1. Мода66ев йи пюде! сЬесЫп8: ЬгвпсЫп8 6яе Ьг8!с ипею ЬасЕ Зсг оГСоярнгег Риг8яап, 8(3), 1987.
47. Е. А. Етегвоп, А. К. Мо)г, А. Р. 8!61а, Е Зпп)чпяп. 1)напдядче мврога1 геазоп(п8 // Сянрняг Ах!ед чепйса6оп, ! 990. 48. Е. А. Еяегвоп. Теяропд апд нюда! !о81с //1п: Е чап (аеияеп, ед. НаадЬоох оГТЬеогедса! Сортрняг Бс(енсе, ча1. В, 1990. 49. К(Ь ЕвЬшз. БуяЬоИс воде! сЬесйп8 оГ (/М). асд«1гу д(ад/агре // АСМ Тгапясдопв оп Бойяаге Еп81пеепп8 ав1 МяЬодо!оду (ТОЗЕМ). ч, 15, п. 1, 2006. 50. К. гП. Р)суд. Аввщп(п8 яеапнщ го ргоуаяв. // Ргос. Зуигргя(нв оп АРРИед Ма«Ьеяг!св, ч.
9, 1967. 51. Р. Еагоня!и!е. АЬонг дге ехряввве рояег оГ СП. совЬшаыз. П 1пйнта6оп Рикезв!п8 1.епеги (54) б, 1995. 52. Редега1 Знн1у, (/8 Оерг оГСопипегсе, Мау, 2002. 53. Р. ОаЬЬау. ТЬе десЬюнве раз! апд ппрепйче йехие: ЕхесяаЫе Теярога! 1о8В Гог !пягасдче зуяянв П Ргос. !я СопЕ оп Тевропд Ьо81с ю Зрес!Исаьоп (ПЛ'1987), 1987, 1 ВСЯ, ч 398, Брпп8ег-Уег1а8, 1987. 54. А.
ОпгГийе1, М. СЬгсЬ!Ь, В. Ос«яана. Теврога! 1о8к григу сЬесЫпя а !оо) Гог пюде1 ехрЬгвйоп. 1ЕЕЕ Тпяв. оп Яойяаге Еп81пеедп8, «. 29, Н10, 2003. 55. Р. 01аппзхоргк1он, Р. (хя!а. Е1Ескпг 1агия оГ ЬТЬ йпнн(ае !иго ВнсЬ! аигояага. // ХАЗА Апгев КевеаюЬ Сепгег.'ГК, 2001. 56. ВярЬгп 1. Оадапд, Няку (.упсЬ. (/яп8 !/О ангояага Гог деве(орйщ д!66- Ьояд зуавов П М(Т Ргевз, 1999. 57. К.
ОепИИпг, С. Р1япзв А. РоИяйЬ Сояригйщ яия81у сошксяд сотропепгз !п а Ипеаг пяиЬег оГ вуяЬо1Ы яерв // Ргос. оГ Ик 14гЬ Аппо АСМ ЯАМ Бутр оп О(всгяе А18опдгяв, 2003. 58. О. ОаЬЬау, А. Рине И, $. 8Ье! ап. Е Бя«Ь ТЬе юярога! апа!ув! в оГ ййпявв // Ргос.7«Ь АСМ Зувр. оп Рппсгр1ев оГ Рго8явпнп8 (лп8овдги, 1980. 59. Р. О(опсйщИе, Р. Тгачязо. РЬвпйщ аз Моде! СЬесЬа8 // Рн Ргос. 5«Ь Енгореап Соп1яепсе оп РЬия!п8 (ЕСР99), ЕЛА!. БрппдяУсг!а8.
1999, 070 Ь Оп !уюр. сщп8 !Рога! АСМ с 15, !Роги/ :!Г!са- а 1оо1 Н10, Всщ кгро Аппо квв // 60. А. ОогйпЬе1, О. Ч/е1, М.СЬесЫЬ. Чавюг А Бойкие Моде!-СЬес1кг Гог Чепйсадои зпд Кейивбоп П ЫЧСЕ, ч. 4144, $рипбег-Уст! а8, 2006. 61. Р. Нюе1. БииесЬвик А Непа! Гоппайвю 1Ьг сокр!ох вуипюз // 8сЬСоюро~. Рпщ. ч. 8, 1987. 62. Нко1вв На1Ькасбз.
БупсЬиииав ргойююю!и8 оГ геасдче зузкюз // К1икег Асадепис РиЫкЬегв, 1993. 63. Е Но!коапп, О. ВоюваЫ. ТЬе Оевщп оГа Ми!д-Соте Ехкпвюп оГ!Ье Ер!и Моде! СЬесЬег // 1ЕЕЕ Тгапз. Еойииге Епб., ч 33, Н10, 2007. 64. Н. Неипаппз. РегГоппюсе апд геБаМ1йу коде! сЬесЫгщ апд пюде! сопвгикдоп П 1к Рюс. 1пг СапЕ Роппа/ Медюдв Гог !идах~па! Спгиз1 Зузтепы, 2000. 65. Наив Напззоп, Вепбг !опзюп. А 1лщ!с Гог Кевзопгпб аЬоо! Типе апд КейвЬг!йу П Роппа! Авресю оГСоюро!ю8, ч. 6, по 5, 1994. 66. Н. Неппвппз, !.-Р.
Кагоеп, ег а1. А МагЬоч сЬв!п пни!с! сЬесЬег П ЕНСЕ, ч.1785, Брг/сбег-Чег1а8, 2000. 67. К. Наче1опд, М. 1лгчпу, !. Реюх. Ропса/ апа!уяв оГ а враге-огай сотиго11ег пз!п8 Зрю П 1ЕЕЕ Тгапв. Войтеке Епр„, ч. 27, 2001 68, С.А.К. Ноаге. Ап ахюаайс Ьый аГ союрикг ргобгапипв8. // Соююпюса!юпз оГ дге АСМ, ч. 12, Н10, 1969. 69. К. НачеЬюд, М.
1лючу, Е Рес1х. Роппа! апа1уз1з оГ а враге-стай сопиойег пзпщ вр!п // 1ЕЕЕ Тюпа. Зойквк Епб., ч. 27, 2001. 70. С. Не!Ьиеуег, О. Маидио!!, ед!ток. Брезк! 1вяк: Ропса! воде!з Гог ка1- 11юе союродп8// ТгевЬ !и Еойэвге, и. 5 1996. 71. Т. А. Непйгщег, Х. Нкой!и, !. ЕгТвЫз, $. Чочьпс ЗуюЬо!!с коде! сйесЫгщ Гог ма!4!юе зумеюз. П Ргос. 7гЬ Еуюр. оп 1лщ!с ш Сокро!ег Зс!кии, 1992. 72. Т. Непа!пбег, Х. Н!со1!!п, !. 8!ГвЫз, Б.
Уочйк. БуюЬогк коде! сЬесЫп8 йи геаййпк вустел // !, оГ 1пГоипадоп апд Союриииюп, ч. 111, п. 2, 1994. 73. М. Нойс М. Куап. !лщк !п союркег зс!епсе: Модей!п8 апд Кеыоп!п8 аЬопг Зувмюв // СаюЬпдбе 1!пвегвйу Ргевз, 1999. 74. $. Ногпиз, Р. ЗсЬпоЬе!еп. Оп зо!щп8 ююрога1 1о8!с 0иег!ез П Ргос. 9/Ь 1ги. СопГ. оп А18евиик МкЬодо!обу апд Еойкеге ТесЬю!обу АМАЕТ'02, 20!О. 75.
С. !. Но1ипапп, М, Н, Ягайло. А рюсдсв1 кедах! Гог чепГу!пй ечепздг!чкг войкаге П ра ргос. 2! вг 1п! СопГ. оп $ойпак ЕпЬдпееппр, 1999. 76. Рлече н!!д!1сь, тою тьоювоп. О/кпьомд дки!!оскс де/ест!оп: а18оп!ьюз апд ргооГв П Оерт. Соври. Яс!., 1!п!. оГ МапсЬезюг, Тесйпка1 Карой, ИМСЗ- 89.6-1, 1989. 77. б. 1. Но1атюпп.
Ргоа соде го пкм1е!в П Ргос. 2пд!вг. Сопц оп Арр1кагюпв оГ Сопсипепсу Го Зуяею Оющп, 2001. 78. б. !. Но1апапп. ! и1П Адд!воп-ччев1еу, 2003. 79. б. Но1ваапп, Ою!Зп апд чв!Ыадгю оГ оотриаг ргоикой // Ргепгке Най, 1991. 80. бегагд 1. Но1япапп. ТЬе паде! сйесйег ЗР1Х П 1ЕЕЕ Тгапв. оп Зойгчвге Епу, 23(5Ь 1997. 81, К. /ал. РОО1 йапдЬоо1с Ьщй-вреед пегпогЫпц ияпц ПЬег эв1 одгег гпед!а // Адд!воп-К/ев!еу. 1994, вк. С. /агд, Т.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
