JPF and Mercurial

I started using JPF (Java Path Finder), an extensive verification tool. It can be found at : http://babelfish.arc.nasa.gov/trac/jpf...

Another versioning system/tool with a distributed architecture (not available in SVN), Mercurial: http://mercurial.selenic.com/

Stay tuned...