VSComp-TLA- is a project mainly written in ..., it's free.
TLA+ solutions for VSComp 2010
VSComp 2010 was the first verified software competition and was organized during the VSTTE 2010 conference in Edinburgh.
This project (will) contains solutions produced with TLA+ toolbox.