Representing hierarchical state machine models in SMT-LIB

MiSE@ICSE, pp. 67-73, 2016.

Cited by: 2|Bibtex|Views3
EI
Other Links: dblp.uni-trier.de|dl.acm.org

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments