New: our code is available on github. For a quick tour of the Coq development, click here.
Here you will find the publications and open-source code associated with JSCert. We plan to build other verification and analysis projects on top of JSCert and JSRef, and very much hope other people find them similarly useful.
This project is an ongoing collaboration between INRIA and Imperial College, consisting of the following people: