[X] The "/RED,TCTL model-checker, simulation-checker, parametric safety-analyzer/version 7_091107/red.7.091107.tar.gz" file could not be found or is not available. Please select another file.

Welcome, Guest! Log In | Create Account

Avocado is a Java and PHP port of the trust metrics algorithm behind advogato.org, with a new data model, developer tools, and utilities.

View all files

Browse Files for Avocado

File/Folder Name ↑ Platform Size Date  Downloads Notes/Subscribe
Newest Files
All Files Subscribe

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use