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

Zhang, D.D.ZhangBonacki, DraganDraganBonackivan den Brand, M.M.van den BrandHuizing, CornelusCornelusHuizingJacobs, BartBartJacobsKuiper, RoelRoelKuiperWijs, AntonAntonWijs2021-10-242021-10-242017https://imec-publications.be/handle/20.500.12860/30012Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformationsProceedings paperhttps://link.springer.com/chapter/10.1007/978-3-319-66302-9_13