Software written in Erlang for translating Erlang source code to mCRL process algebra specification. The software makes industrial code available for research tools.
Project Admins:
juanjosanchez, manager
Operating System:
All POSIX (Linux/BSD/UNIX-like OSes), Linux
License:
GNU General Public License (GPL)
Category:
Compilers
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest News
(No news at the current time)
Public Areas
-
Bugs
: (2 open / 2 total)
Bug Tracking System -
Support Requests
: (0 open / 0 total)
Tech Support Tracking System -
Patches
: (0 open / 0 total)
Patch Tracking System -
Feature Requests
: (2 open / 2 total)
Feature Request Tracking System - Public Forums : (2 messages in 2 forums)
- Mailing Lists : (0 total)
-
CVS Repository
: (0 commits,
1 read)
Browse CVS
Most Active Projects in Category
Project Details
-
Project Admins :
juanjosanchez
, manager - Developers : 3
- Development Status : 3 - Alpha
- Intended Audience : Information Technology
- License : GNU General Public License (GPL)
- Operating System : All POSIX (Linux/BSD/UNIX-like OSes), Linux
- Programming Language : Erlang
- Topic : Compilers
- Translations : English
- Project UNIX name : etomcrl
- Registered : 2003-12-10 08:38
- Activity Percentile (last week) : 24.49
- View project activity statistics
- View list of RSS feeds available for this project