SourceForge has been redesigned. Learn more.
Close

Home

Thomas Arts

Software written in Erlang for translating Erlang source code to mCRL process algebra specification. The software makes industrial code available for research tools.


Project Admins: