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

Other Useful Business Software

Cut Data Warehouse Costs by 54%

Easily migrate from Snowflake, Redshift, or Databricks with free tools.

BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.

Start Free

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

Similar Business Software

Flagsmith

Flagsmith is a fully supported open-source feature flag, remote config, and A/B testing service. Use our hosted API, deploy to your own private cloud, or run on-premise. Create and manage feature flags across web, mobile, and server-side applications. Wrap a section of code with a flag, and...

See Software
Parasoft

"Parasoft delivers an AI‑powered software testing platform that helps organizations continuously release high‑quality software. Our solutions support embedded and enterprise teams by integrating code analysis, testing, virtualization, and coverage into the delivery pipeline to improve security,...

See Software
Aikido Security

Secure your code, cloud, and runtime in one central system. Aikido’s all-in-one security platform is loved by developers and security teams alike with full security visibility, insight in what matters most, and fast/automatic vulnerability fixes. Teams get security done with Aikido thanks...

See Software
Oxylabs

Oxylabs is a market leader in web intelligence with enterprise-grade, ethical, and compliant solutions. Its proxy infrastructure spans one of the largest global networks, offering residential, ISP, mobile, datacenter, & dedicated datacenter proxies, along with Web Unblocker – an AI-driven...

See Software
Intellimas

Intellimas is a highly configurable, low code solution with spreadsheet features. It allows you to build enterprise level, web apps that end users love. Intellimas is built for fast data entry, analytics, exception management, and easy retrieval of live data from other systems. The multi-level...

See Software
DbVisualizer

DbVisualizer is a universal database client for anyone who works with data, from solo developers and startups to professional teams managing complex environments, including developers, DBAs, analysts, and data engineers working with relational and NoSQL databases. It offers a graphical interface...

See Software

Report inappropriate content