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 one’s star this repository yet.