Dexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun. C Code Verification based on the Extended Labeled Transition System Model. In Juan de Lara, Peter J. Clarke, Mehrdad Sabetzadeh, editors, Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-7, 2016. Volume 1725 of CEUR Workshop Proceedings, pages 48-55, CEUR-WS.org, 2016. [doi]
Abstract is missing.