TLC model checking and the concurrency in specification
| dc.contributor.author | Shkarupylo, Vadym | en |
| dc.date.accessioned | 2016-11-14T21:45:51Z | |
| dc.date.available | 2016-11-14T21:45:51Z | |
| dc.date.issued | 2016 | |
| dc.identifier.citation | Shkarupylo V. TLC model checking and the concurrency in specification [Текст] / V. Shkarupylo // Proceedings of the tenth international scientific-practical conference «Internet-Education-Science» (IES-2016), Vinnytsia, 11-14 October, 2016. - Vinnytsia : VNTU, 2016. - С. 89-91. | en |
| dc.identifier.isbn | 978-966-641-646-2 | |
| dc.identifier.uri | http://ir.lib.vntu.edu.ua/handle/123456789/13390 | |
| dc.description.abstract | Розглянуто метод перевірки на моделі TLC. Проведено дослідження відповідних часових витрат. У проведеному дослідженні розглянуто темпоральні специфікації композитного веб- сервісу з елементами паралелізму. Порівняно два підходи до верифікації (перевірки на моделі) – BFS- та DFS-орієнтований. | uk |
| dc.description.abstract | The TLC Model Checker has been considered. The investigation of corresponding time costs has been conducted. In the case study conducted the Composite Web Service temporal specifications with concurrency have been considered. Two approaches to model checking have been compared – the breadth-first-search- and the depth-first-search-based. | en |
| dc.language.iso | en | en |
| dc.publisher | ВНТУ | uk |
| dc.title | TLC model checking and the concurrency in specification | en |
| dc.type | Thesis | |
| dc.identifier.udc | 004.052.42 |
Файли в цьому документі
Даний документ включений в наступну(і) колекцію(ї)
-
Інтернет-Освіта-Наука (ІОН-2016) [96]
X Міжнародна науково-практична конференція «Інтернет-Освіта-Наука (ІОН-2016)» відбулася 11-14 жовтня 2016 р.