Верификация синхронно-автоматных программ

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


Аннотация

Предлагается синхронная модель автоматной программы. Разработана методика верификации синхронно-автоматных программ. Некоторые свойства проверяются автоматически. Есть возможность проверки пользовательских свойств. Применение этой методики позволит выявить большое число ошибок, допускаемых в процессе разработки.

Об авторе

С. В. Кубасов
Ярославский государственный университет
Россия


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

1. Кубасов, С.В. Синхронная модель автоматной программы / С.В. Кубасов, В.А. Соколов // Моделирование и анализ информационных систем. - 2007. - T.14, №1. - С. 11-18.

2. Berry, G. The Esterel v5 Language Primer, version v5_91: Документация к программному обеспечению Esterel Compiler, version 5.91. Ecole des Mines de Paris (EMP), ARMINES, and INRIA / G. Berry and the Esterel Team. - 2000, 5 June.

3. Berry, G. The Esterel v5_91 System Manual: Документация к программному обеспечению Esterel Compiler, version 5.91. Ecole des Mines de Paris (EMP), ARMINES, and INRIA / G. Berry. - 2000, 5 June.

4. Bouali, A. Xeve: an Esterel Verification Environment : Version v1_3 : Rapport technique №0214 / Amar Bouali ; Inria, Institut National de Recherche en Informatique et en Automatique. - France, 1997. - 23 pages. - ISSN 0249-0803.


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

Для цитирования: Кубасов С.В. Верификация синхронно-автоматных программ. Моделирование и анализ информационных систем. 2007;14(4):20-27.

For citation: Kubasov S.V. Verification of Synchronous-automaton Programs. Modeling and Analysis of Information Systems. 2007;14(4):20-27. (In Russ.)

Просмотров: 37

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

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


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


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