Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Czipó, Bence"'
Publikováno v:
EPTCS 245, 2017, pp. 31-45
Statecharts are frequently used as a modeling formalism in the design of state-based systems. Formal verification techniques are also often applied to prove certain properties about the behavior of the system. One of the most efficient techniques for
Externí odkaz:
http://arxiv.org/abs/1703.07350
