Home My Page Projects Euclide
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

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.

Latest File Releases
Package Version Date Notes Download
euclide euclide-web-0.7 2009-07-09 euclide - Release Notes euclide euclide-web-0.7 - Download
Public Tools
Tracker  Tracker
 Public Forums (3 messages in 3 forums)
Mailing Lists (0 public mailing lists)
Latest News
rss
No News Found