Home My Page Projects +CAL 2.0
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Project description

+CAL is an language allowing to easily express algorithms. Once specified in +CAL, algorithms can be translated to the TLA+ formalism in order to get model-checked by the TLC tool.

+CAL 2.0 introduce distributed computing concepts to +CAL.

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2007-12-21 10:32
Activity Ranking: 0
View project Statistics or Activity
View list of RSS feeds available for this project.
Latest File Releases

This project has not released any files.

Public Tools
Tracker  Tracker
 Public Forums (3 messages in 3 forums)
Mailing Lists (1 public mailing list)
SCM Repository (Subversion: 1,527 updates, 3,393 adds)
Latest News
No News Found