GitHub repository: zmckevitt/SpecCheck
Primary language: C++
Description: Implementation of SpecCheck (presented at PACT 2023). Forked from the official gem5 repository.