Gappa - Génération automatique de preuves de propriétés arithmétiques (pour des programmes effectuant des calculs flottants)

• Development Status: 4 - Beta
• Environment: Console (Text Based)
• Intended Audience: Developers
• License: GNU General Public License (GPL)
• LIP research teams: Arénaire (computer arithmetic)
• Natural Language: English
• Operating System: OS Independent
• Programming Language: C++
• Topic: Scientific/Engineering