Проверка моделей распределенных систем с помощью аффинного представления данных

Н. О. Гаранина

doi:10.18255/1818-1015-2010-4-52-59

Проверка моделей распределенных систем с помощью аффинного представления данных

Н. О. Гаранина

https://doi.org/10.18255/1818-1015-2010-4-52-59

Полный текст:

Аннотация

Предложено эффективное символьное представление распределенных систем, определяемых линейными функциями над целочисленными переменными.

Ключ. слова

символьная проверка моделей, распределённые системы,

УДК: 517.51+514.17

Об авторе

Н. О. Гаранина

Институт систем информатики им. А.П. Ершова СО РАН
Россия

Список литературы

1. Boigelot B. and Wolper P. Symbolic Verification with Periodic Sets // Lect. Notes Comput. Sci. 1994. Vol. 818. P. 55-67.

2. Bryant R.E. Symbolic boolean manipulation with ordered binary decision diagrams // IEEE Trans. Computers. 1986. Vol. C-35, N 8. P. 293-318.

3. Bultan T., Gerber R., and Pugh W. Model Checking Concurrent Systems With Unbounded Integer Variables: Symbolic Representations, Approximations and Experimental Results // ACM Trans. Progr. Lang, and Systems. 1999. Vol. 21, N 4. P. 747-789.

4. Kozen D. Results on the Propositional Mu-Calculus // Theor. Comput. Sci. 1983. Vol. 27, N 3. P. 333-354.

5. McMillan K.L. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic Publishers, 1993. 216 p.

6. Shilov N.V., Garanina N.O. A Polynomial Approximations for Model Checking // Lect. Notes Comput. Sci. 2003. Vol. 2890. P. 395-400.

7. Shilov N.V., Garanina N.O., Kalinina N.A. Model checking knowledge, actions and fixpoints // Proc. Int. Workshop on Concurrency, Specification and Programming. Caputh, Germany, 2004. V. 2. P. 351-357.

8. Гаранина Н.О. Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий: Дис. ... канд. физ.- мат. наук. Новосибирск, 2004. 172 с.

9. Гаранина Н.О. Аффинное представление данных для проверки моделей программ. Новосибирск, 2004. 48 с. (Препр./ Сиб. отд-ние. РАН. ИСИ; N 116)

10. http://www.cs.umd.edu/projects/omega/

Дополнительные файлы

Для цитирования: Гаранина Н.О. Проверка моделей распределенных систем с помощью аффинного представления данных. Моделирование и анализ информационных систем. 2010;17(4):52-59. https://doi.org/10.18255/1818-1015-2010-4-52-59

For citation: Garanina N.O. Model Checking of Distributed Systems with Affine Data Structures. Modeling and Analysis of Information Systems. 2010;17(4):52-59. (In Russ.) https://doi.org/10.18255/1818-1015-2010-4-52-59

Обратные ссылки

Обратные ссылки не определены.

Контент доступен под лицензией Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

Логин
Пароль