Comments on: Project Hi-Lite

By: Boogie Workshop

Boogie Workshop — Thu, 11 Aug 2011 02:24:55 +0000

[...] Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying MachineHiberSourceProject Hi-LiteHi-Lite PartnersHi-Lite ResourcesA Lighter Introduction to Hi-LiteHi-Lite ProgressHi-Lite News and [...]

By: Language Vulnerabilities for Dummies

Language Vulnerabilities for Dummies — Wed, 29 Jun 2011 11:10:38 +0000

By: Hi-Lite: a Verification Toolkit for Unit Test & Unit Proof

Hi-Lite: a Verification Toolkit for Unit Test & Unit Proof — Wed, 02 Feb 2011 01:30:36 +0000

By: Integrating Formal Methods into Software for Avionics Certification

Integrating Formal Methods into Software for Avionics Certification — Mon, 06 Sep 2010 08:29:19 +0000

By: AdaCore présente le projet Hi-Lite : Nouveau consortium visant à promouvoir les méthodes formelles pour un logiciel fortement intégré | Communiqué de presse

Thu, 06 May 2010 11:04:29 +0000

[...] Pour obtenir de plus amples informations et de mises à jour régulières sur le projet Hi-Lite, visitez le site : http://open-do.org/projects/hi-lite [...]

By: Hi-Lite project officially launched

Hi-Lite project officially launched — Wed, 05 May 2010 12:02:34 +0000

[...] Core Text ProblemsApplying IP217AgileCouvertureGeneAuto/AdaThe Qualifying MachineHiberSourceProject Hi-LiteHi-Lite PartnersHi-Lite ResourcesOpen-DO conferenceOpen-DO Conference Abstracts « Formal [...]

By: AdaCore - The GNAT Pro Company

AdaCore - The GNAT Pro Company — Tue, 04 May 2010 11:50:54 +0000

[...] Space Transportation, INRIA ProVal and Thales Communications today announced the start of the Hi-Lite project. Financially supported by French national and local government agencies, Hi-Lite is an Open Source [...]