Association for Computing Machinery (ACM) - Representing Hierarchical State Machine Models in SMT-LIB

2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE)

Author(s): Nancy A. Day ; Amirhossein Vakili
Publisher: Association for Computing Machinery (ACM)
Publication Date: 1 May 2016
Conference Location: Austin, TX, USA
Conference Date: 16 May 2016
Page(s): 67 - 73
ISBN (Electronic): 978-1-4503-4164-6
ISSN (Electronic): 2156-7891
DOI: 10.1109/MiSE.2016.019

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)... View More