Mapping Big-Step Modeling Languages to SMV

  title={Mapping Big-Step Modeling Languages to SMV},
  author={Fathiyeh Faghih and Nancy A. Day},
We propose an algorithm for creating a semantics-based, parameterized translator from the family of big-step modeling languages (BSMLs) to the input language of the model checker SMV. Our translator takes as input a specification in the CHTS notation and a set of user-provided parameters that encode the specification’s semantics; it produces an SMV model suitable for model checking. We use a modular approach for translation, which means that the structure of the resulting SMV model matches the… CONTINUE READING


Publications citing this paper.
Showing 1-4 of 4 extracted citations

A Fully Automated Approach to Discovering Nondeterminism in State Machine Diagrams

2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC) • 2016
View 4 Excerpts
Highly Influenced

Recommendations for improving the usability of formal methods for product lines

2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) • 2013
View 8 Excerpts

Model translations among big-step modeling languages

2012 34th International Conference on Software Engineering (ICSE) • 2012
View 2 Excerpts


Publications referenced by this paper.
Showing 1-10 of 21 references

Similar Papers

Loading similar papers…