@inproceedings{cariou:inria-00637763, TITLE = {{Contracts for Model Execution Verification}}, AUTHOR = {Cariou, Eric and Ballagny, Cyril and Feugas, Alexandre and Barbier, Franck}, URL = {https://inria.hal.science/inria-00637763}, BOOKTITLE = {{ECMFA'11}}, ADDRESS = {Birmingham, United Kingdom}, EDITOR = {France and Robert and Kuester and Jochen and Bordbar and Behzad and Paige and Richard}, PUBLISHER = {{Springer Berlin / Heidelberg}}, VOLUME = {6698}, YEAR = {2011}, MONTH = Jun, DOI = {10.1007/978-3-642-21470-7\_2}, KEYWORDS = {design by contract ; runtime verification ; model execution ; model-driven engineering ; UML state machines ; OCL}, PDF = {https://inria.hal.science/inria-00637763/file/cariou-ecmfa11.pdf}, HAL_ID = {inria-00637763}, HAL_VERSION = {v1}, }