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