Software Map
Project Tree
Now limiting view to projects in the following categories:
Environment :: Web Environment [Remove This Filter]
|
Browse By: |
3 projects in result set.
Abilis
- Application Web basée sur le moteur logique de Camelis | |
|
Activity Percentile: 0.00 Registered: 2009-06-23 15:29 |
Stateful SIP Firewall
- SECSIP is an open source (GPL) stateful firewall targeted to the SIP protocol. It relies on a rule-based language to detect SIP attacks and vulnerabilities.
SECSIP is developed by the Madynes Team located at INRIA Nancy-Grand Est. | |
|
Activity Percentile: 0.00 Registered: 2008-06-30 15:00 |
Euclide
- Euclide is a Constraint-Based Testing tool for verfying safety-critical C programs. It has three main applications: structural test data generation, counter-example generation, and partial program proving. It runs SICStus Prolog. | |
|
Activity Percentile: 0.00 Registered: 2008-11-24 17:53 |