Software Map

Project Tree

Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
License :: OSI Approved :: GNU General Public License (GPL) [Remove This Filter]
Operating System :: OS Independent [Remove This Filter]
Topic :: Scientific/Engineering [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[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 86.54

Registered: 2009-09-16 08:55