Generation and Validation of Frame Conditions in Formal Models

Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler. Generation and Validation of Frame Conditions in Formal Models. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers. Volume 991 of Communications in Computer and Information Science, pages 259-283, Springer, 2018. [doi]

Abstract

Abstract is missing.