Home My Page Projects VERCORS
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Project description

VERification of models for distributed communicating COmponents, with safety and Security. State-of-art strong formal semantics and model checking tools are integrated in a development environment, used by non-specialists.

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2005-12-08 17:34
Activity Ranking: 212
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 (0 public mailing lists)
SCM Repository (Subversion: 9,959 updates, 17,917 adds)
Latest News
rss
No News Found