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

Project Activity

See All Activity >

Categories

Compilers

License

GNU General Public License version 2.0 (GPLv2)

Follow etomcrl: An Erlang to mCRL compiler

etomcrl: An Erlang to mCRL compiler Web Site

Other Useful Business Software
Try Google Cloud Risk-Free With $300 in Credit Icon
Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of etomcrl: An Erlang to mCRL compiler!

Additional Project Details

Operating Systems

BSD, Linux

Languages

English

Intended Audience

Information Technology

Programming Language

Erlang

Related Categories

Erlang Compilers

Registered

2003-12-10