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:
juanjosanchez, manager
Operating System:
All POSIX (Linux/BSD/UNIX-like OSes), Linux
License:
GNU General Public License (GPL)
Category:
Compilers
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
(No news at the current time)