GitHub repository: mwolf76/yasmv
Primary language: C
Description: yasmv - Yet Another Symbolic Model Verifier