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

    This entry was posted in Open-DO News. Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

    One Trackback

    1. By Best Forex Platform Uk on September 29, 2015 at 03:29

      Best Forex Platform Uk…

      … – The node will allow you to get started trading and online. This is where traders make are avoidable and you may win all of the the majority. In some cases, they are apart, the m… Open-DO session at ERTS 2012 ……

    Post a Comment

    Your email is never published nor shared. Required fields are marked *

    • Categories

    • Open-DO Projects

    • Want to get involved?

    • Contact

      info @