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

Publication:

2017

Proceedings Paper

Author(s)

;

;

;

;

;

;

4 since deposited on 2021-10-24

Acq. date: 2026-10-13

1960 since deposited on 2021-10-24

4last month

2last week

Acq. date: 2026-10-13