PORTHOS: One Tool for all Models
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".
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".