Modular Transformation from AF3 to nuXmv

Sudeep Kanav, Vincent Aravantinos. Modular Transformation from AF3 to nuXmv. In Loli BurgueƱo, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio, editors, Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017. Volume 2019 of CEUR Workshop Proceedings, pages 300-306, CEUR-WS.org, 2017. [doi]

Abstract

Abstract is missing.