An advanced automated reasoning tool for memory consistency model specifications.
Primary LanguageAlloyBSD 2-Clause "Simplified" LicenseBSD-2-Clause