maksym-bortin / a_framework

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs