Open-DO session at ERTS 2012

Many thanks to the organisers of the ERTS 2012 (Embedded Real-Time Software and Systems) conference for including a session linked to the Open-DO initiative. There will be 4 talks on the morning of Thursday February 2:

Integrating Formal Program Verification with Testing (Cyrille Comar, Johannes Kanig and Yannick Moy)

Compilation of Heterogeneous Models: Motivations and Challenges (Matteo Bordin, Tonu Naks, Andres Toom and Marc Pantel)

Formalization and Comparison of MCDC and Object Branch Coverage Criteria (Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot)

Agility & Lean for Avionic Software Development (Emmanuel Chenu)

For more information on the event and to register, please visit http://www.erts2012.org/