mohdsm81 / romp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from civic-fv/romp
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.
License: The Unlicense