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-02-24

1956 since deposited on 2021-10-24

Acq. date: 2026-02-24