GitHub repository: CapZTr/Dat3M
Primary language: Java
Description: A verification tool for many memory models