Software Map
Project Tree
Now limiting view to projects in the following categories:
Topic :: Software Development [Remove This Filter]
License :: CeCILL-C [Remove This Filter]
2 projects in result set.
T3DevKit
- T3DevKit is a set of libraries and tools for TTCN-3 automatic CoDec generation and adaptors (SA and TA) easy and quick development.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : CeCILL-C (Now Filtering)
- Natural Language : English[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Topic : Software Development (Now Filtering)
|
Activity Percentile: 7.07
Registered: 2006-11-21 09:06 |
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.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : CeCILL-C (Now Filtering)
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Prolog[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2008-11-24 17:53 |
