romp is a verification tool that uses the murphi verification language along side a parallelized random walk of the state-space to perform verification tasks.
Primary LanguageObjective-CThe UnlicenseUnlicense
No issues in this repository yet.