Log In
New Account

Advanced search
HomeMy PageProjectsHi-Lite
SummaryActivityForumsTrackerListsDocsNewsSCMFilesMoinMoinWiki
Project description

An integration of testing, static analysis and formal proof for mixed Ada/C programs around a common expression of specifications, with the aim to greatly facilitate verification of properties for high-integrity software.

Project Information

No tag defined for this project

Registered: 2010-02-17 17:02
Activity Ranking: 0
View project Statistics or Activity
View list of RSS feeds available for this project.
Latest File Releases
This Project Has Not Released Any Files
Public Tools
Tracker Tracker
 Public Forums (4 messages in 3 forums)
Mailing Lists (1 public mailing list)
SCM Repository (Git: 0 updates, 6,437 adds)
Latest News
No News Found