Spotlight

Upcoming event

Ada and SPARK for education and research »

Feb 23 2010, Heverlee, Belgium.

Upcoming Webinar

Introducing CodePeer »

Join Tucker Taft for an introduction to our new automated code review and validation tool.

Open-DO news

Open-DO Conference »

Combining Formality with Agility for Critical Software Development

Featured Video

Ada Conference UK »

Videos of the presentations given at this year’s conference.

Featured Technology

The Tokeneer Project »

A hands on look at an NSA funded, highly secure biometric software system.