Towards Verified Java Code Generation from Concurrent State Machines

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs. Towards Verified Java Code Generation from Concurrent State Machines. In J├╝rgen Dingel, Juan de Lara, Levi Lucio, Hans Vangheluwe, editors, Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014. Volume 1277 of CEUR Workshop Proceedings, pages 64-69, CEUR-WS.org, 2014. [doi]

Abstract

Abstract is missing.