etomcrl: An Erlang to mCRL compiler

  •        0

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

http://etomcrl.sourceforge.net

Tags
Implementation
License
Platform

   




Related Projects