Software Map

Project Tree

Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
Topic :: Scientific/Engineering [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]
Topic :: Software Development [Remove This Filter]

License > CeCILL	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

1 project 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[Filter]
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 (Now Filtering)
Topic : Software Development (Now Filtering)

Activity Percentile: 86.87

Registered: 2009-09-16 08:55