Browsing Waterloo Research by Subject "logic"
Now showing items 1-1 of 1
-
Representing hierarchical state machine models in SMT-LIB
(ACM, 2016-05)We motivate and present a proposal for how to represent the syntax of behavioural models written in extended finite-state machine languages with hierarchical states (e.g., the Statecharts family) in SMT-LIB. By including ...