Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer. Towards Realizability Checking of Contracts Using Theories. In Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Volume 9058 of Lecture Notes in Computer Science, pages 173-187, Springer, 2015. [doi]
Abstract is missing.