- Annual meeting (2012-05-29)
- update on E-ACSL and Frama-C
- report on use of Hi-Lite tools at Astrium
- official presentation of annual progress
- Joint meeting (2011-11-29)
- status of Alfa, GNATprove, GNATtest
- status of E-ACSL
- status of SPARK generics
- Why3 tools
- experience report from Thales Communications
- experience report from EADS Astrium
- Annual meeting (2011-05-11)
- presentation of E-ACSL: language and Frama-C plugin
- reference for E-ACSL
- presentation of Alfa, GNATtest, GNATprove
- presentation of Beyond functional properties
- presentation of Simple loop patterns and rich loop invariants
- Specification meeting (2010-07-13)
- initial proposal for ALFA (by AdaCore)
- initial proposal for E-ACSL (by CEA LIST)
- wish-list, examples and discussion of ECSS-E-40 (by Astrium)
- presentation of MyCCM and wish-list (by Thales)
- Kickoff (2010-05-04)
- slides of the public presentation (in French)
- Project Proposal (2009-11-26)
- initial technical project description (in French)
- annex B: Examples of Possible Industrial Use of Hi-Lite (in French)
- annex C: FLOSS, COTS, and Safety: A Business Perspective
Categories
Open-DO Projects
Contact
info @ open-do.org