Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Programming
:
Languages
:
Erlang
:
Contributions
:
Libraries
:
Erlang to mCRL translator
Link Details for:
Erlang to mCRL translator
Link Title:
Erlang to mCRL translator
Link URL:
http://sourceforge.net/projects/etomcrl/
Link Details:
Software written in Erlang for translating Erlang source code to mCRL process algebra specification. The software makes industrial code available for research tools.
Category:
Top : Computers : Programming : Languages : Erlang : Contributions : Libraries
Link Type:
ScreenShot: