etomcrl: An Erlang to mCRL compiler download

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 >

License

GNU General Public License version 2.0 (GPLv2)

Follow etomcrl: An Erlang to mCRL compiler

etomcrl: An Erlang to mCRL compiler Web Site

User Reviews

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

Additional Project Details

Operating Systems

Linux, BSD

Languages

English

Intended Audience

Information Technology

Programming Language

Erlang

Related Categories

Erlang Compilers

Registered

2003-12-10

Similar Business Software

Erlang

Erlang is a programming language used to build massively scalable soft real-time systems with requirements on high availability. Some of its uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang's runtime system has built-in support for concurrency,...

See Software
Elixir

Elixir is a dynamic, functional language for building scalable and maintainable applications. Elixir leverages the Erlang VM, known for running low-latency, distributed, and fault-tolerant systems. Elixir is successfully used in web development, embedded software, data ingestion, and multimedia...

See Software
$Refraction$

Refraction

Refraction is a code-generation tool for developers. It uses AI to generate code for you. You can use it to generate unit tests, documentation, refactor code, and more. Generate code using AI in 34 languages — Assembly, C#, C++, CoffeeScript, CSS, Dart, Elixir, Erlang, Go, GraphQL, Groovy,...

See Software

Report inappropriate content