Verification of requirements for reactive systems

Conference "Technologies Microsoft in the theory and programming practice"
Authors:
Ivanov Аleksandr S. Kotlyarov Vsevolod P. Letichevsky Aleksandr A.
Abstract:

The article features an approach for verification of requirements for reactive systems represented in the basic model notation. An examples of use are reviewed. The benefits and restrictions of this technology are revealed and discussed.