It's working repository for the Master's project done by Artem Yushkovskiy at Aalto University in autumn semester 2018 within his Master's project "Automated Analysis of Weak Memory Models".