Software Map
Project Tree
Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
Development Status :: 5 - Production/Stable [Remove This Filter]
Research center :: Saclay - Ile de France [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
License :: CeCILL [Remove This Filter]
2 projects in result set.
Gappa
- Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why.
|
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software (Now Filtering)
- License : CeCILL (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 85.57
Registered: 2009-09-16 08:55 |
Monolix
- Développement du logiciel Monolix
|
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Other Environment[Filter]
- Environment : Win32 \(MS Windows\)[Filter]
- Environment : X11 Applications : KDE[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL (Now Filtering)
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics[Filter]
- Topic : Scientific/Engineering : Medical Science Apps\.[Filter]
|
Registered: 2006-10-02 09:21 |
