Representing hierarchical state machine models in SMT-LIB
MiSE@ICSE, pp. 67-73, 2016.
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 the state structure explicitly in the SMT-LIB model, our goal is to facilitate effective automated deductive reasoning,...More
Full Text (Upload PDF)
PPT (Upload PPT)