Software Map

Project Tree

Now limiting view to projects in the following categories:
Natural Language :: English [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
Development Status :: 5 - Production/Stable [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]
Operating System :: OS Independent [Remove This Filter]

Research center > Saclay - Ile de France	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\) (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 85.85

Registered: 2009-09-16 08:55