Verification of Speed-Independent Circuits:

versify - verify a speed-independent circuit
versify_stg - verify a signal transition graph
versify_pn - verify a petri net
testify - generate synchronous test vectors for a speed-independent circuit

You can download versify (and its clones) from here.