Tool Support for Live Formal Verification

Vincent Aravantinos, Sudeep Kanav. Tool Support for Live Formal Verification. In 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017. pages 145-155, IEEE Computer Society, 2017. [doi]

Abstract

Abstract is missing.