The source code for the process verifier is located here: sc_verifier_0.2.tgz. This is a gzipped tar archive.
An extended version of our paper, including proof outlines and longer examples, has been published as UCLA CSD Technical Report TR07011. It is available here.
Last updated 9/18/2007.