Анализ и верификация SDL-спецификаций распределенных систем с помощью языка Dynamic-REAL
Описан новый программный комплекс SRDSVer3 (SDL/REAL Distributed Systems Verifier), предназначенный для моделирования, анализа и верификации SDL-спецификаций распределенных систем. Он включает транслятор из языка SDL в разработанный ранее язык Dynamic-REAL (dREAL), системы автоматического модел...
| Published in: | Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 53. С. 118-126 |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000791848 Перейти в каталог НБ ТГУ |