Atomic invariants verification and deadlock detection at compile-time.

Ionut Tamas Ioan Salomie Marcel Antal Atomic invariants verification and deadlock detection at compile-time. 435-441 2018 ICCP https://doi.org/10.1109/ICCP.2018.8516602 conf/iccp2/2018 db/conf/iccp2/iccp2018.html#TamasSA18