Erlang to mCRL translator

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

Rate This Site

More in Libraries Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5646539" title="Erlang to mCRL translator"><img src="https://e-sygoing.link/badge.php?lid=5646539" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Erlang to mCRL translator

Rate This Site

Submit Your Site

Related Links