Web Directory
 

Erlang to mCRL translator

  Link Details for: Erlang to mCRL translator
Link Title: Erlang to mCRL translator Open in a new window
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: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Erlang to mCRL translator