Euclide is a Constraint-Based Testing tool for verfying safety-critical C programs. It has three main applications: structural test data generation, counter-example generation, and partial program proving. It runs SICStus Prolog.

• Development Status : 2 - Pre-Alpha
• Environment : Web Environment
• Intended Audience : Developers
• Kind : Software
• License : CeCILL-C
• Natural Language : English
• Natural Language : French
• Operating System : OS Independent
• Programming Language : Prolog
• Research center : Rennes
• Topic : Scientific/Engineering
• Topic : Software Development

Registered: 2008-11-24 17:53
Activity Ranking: 0
View project Statistics or Activity
View list of RSS feeds available for this project.

Package	Version	Date	Notes	Download
euclide	euclide-web-0.7	2009-07-09

Project Admins
Members:

View the 4 Member(s)

Request to join

No News Found