A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION

Dmitry Kochelev, Ivan Lagunov, Bulat Khasanzyanov, Bulat Jaminov

2008 , VOLUME 08, NUMBER 8 ( April )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION

D. Kochelev, I. Lagunov, B. Khasanzyanov, B. Jaminov

Read the full article

Abstract

This article gives a short overview of instrumental tool with automata based programming UniMod 2. This tool was designed for development of automata based programs and provides means for visual designing, debugging, validation and verification of automata based programs.

Keywords: automata-based programming, tool, validation, verification

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License