Authors

Zhang, D.; Bošnacki, Dragan; van den Brand, M.; Huizing, Cornelus; Jacobs, Bart; Kuiper, Roel; Wijs, Anton

Conference

MODELSWARD 2016: Model-Driven Engineering and Software Development

Title

Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations

Publication type

Proceedings paper

Embargo date

9999-12-31