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-09-22

1957 since deposited on 2021-10-24

1last month

1last week

Acq. date: 2026-09-22