Top 2 rosette open source projects

An advanced automated reasoning tool for memory consistency model specifications.

This repo contains the artifact for our SOSP'19 paper on Serval