SyVOLT: Full Model Transformation Verification Using Contracts

Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy, Hans Vangheluwe. SyVOLT: Full Model Transformation Verification Using Contracts. In Vinay Kulkarni, Omar Badreddin, editors, Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 27, 2015. Volume 1554 of CEUR Workshop Proceedings, pages 24-27, CEUR-WS.org, 2015. [doi]

Abstract

Abstract is missing.