This website uses cookies to make the content more user-friendly and effective. By using this website, you agree to the use of cookies. You can find additonal information about the use of cookies and the possibility of objecting to the use of cookies here.

25 - 27 February 2020 // Nuremberg, Germany

Conferences and supporting programme

back to day overview
Presentations Exhibitor´s Forum

A MISRA-C Developer's Introduction to Program Proving in SPARK Vortragssprache Englisch

MISRA-C is a coding standard focused on avoiding error-prone features of the C language. Most of the rules can be verified by static analysis, but 27 are undecidable. If a violation of an undecidable rule is not detected, then the resulting vulnerability can have serious negative security consequences. This tutorial will show how the SPARK language can achieve the same code quality and security objectives as MISRA-C and provide guarantees of program properties that go beyond what would be feasible with MISRA-C.

--- Date: 26.02.2019 Time: 11:00 AM - 11:30 AM Location: Exhibitor's Forum, Hall 2, 2-510


Dr. Yannick Moy

Dr. Yannick Moy

AdaCore SAS


The selected entry has been placed in your favourites!

If you register you can save your favourites permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your favourites permanently. Use the instant access – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your favourites mobile too! Simply log in and access them at anytime.