VERIFICATION OF INTERACTION OF PARTS OF A REACTIVE SYSTEM IMPLEMENTED USING AUTOMATA-BASED APPROACH
Read the full article
Verification of interaction of parts of a reactive system implemented with automata-based approach is discussed in this paper. Problems which can appear in such systems and methods of their detection for several types of semantical interpretation are considered.
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License