GitHub repository: uwplse/memsynth
Primary language: Alloy
Description: An advanced automated reasoning tool for memory consistency model specifications.