Search Results for "tau-analyzer-setup"

Enterprise collaboration platform with over 400 extensions. Users without programming skills can create web applications. 50,000 small businesses, many Fortune 500 companies, and millions of people use TWiki, with installations of 100,000s of pages. Visit http://twiki.org/ for the open source TWiki. The TWiki community is focusing on building the best collaboration platform for the workplace. We invite you to GET INVOLVED! More at http://bit.ly/twGetInv.

* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol

The Virtual USB Analyzer is a graphical tool for browsing traces of captured USB data. It supports logs generated by Ellisys hardware analyzers and VMware's software analyzer, and Linux's usbmon.

Vsam (Vulnerabillity, Scanning, Analysis and Management) is a project dedicated to the release of a virtual appliance for the management and analysis of vulnerability scan data. The main goals are ease of use and stability of the application.