User:Dcreager

From Openproofs

Jump to: navigation, search

I did my PhD at Oxford, and used the Z and CSP fairly extensively while I was there. I now maintain the HST model checker for CSP (http://hst.github.com) I work for Redjack, LLC (http://www.redjack.com), a small defense contractor.

Retrieved from "http://www.openproofs.org/wiki/User:Dcreager"