A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION
Read the full article
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.