Home My Page Projects Toolbox for Opacity
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Project description

This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity.

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)
Latest News
No News Found