Project description
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. Project Information
Activity Ranking: 0 View project Statistics or Activity View list of RSS feeds available for this project. ![]() Public Tools
![]()
![]() ![]() |
Project Members
Project Admins
Members: Latest News
No News Found
|