Diese Website verwendet Cookies, um das Angebot nutzerfreundlicher und effektiver zu machen. Mit der Nutzung dieser Website stimmen Sie der Verwendung von Cookies zu. Weitere Informationen über die Verwendung von Cookies und die Möglichkeit der Verwendung von Cookies zu widersprechen, finden Sie hier.

25. - 27. Februar 2020 // Nürnberg, Germany

Konferenzen und Rahmenprogramm

Zurück zur Tagesansicht
Vorträge Aussteller-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.

--- Datum: 26.02.2019 Uhrzeit: 11:00 Uhr - 11:30 Uhr Ort: Aussteller-Forum, Halle 2, 2-510

Sprecher

Dr. Yannick Moy

Dr. Yannick Moy

AdaCore SAS

top

Der gewählte Eintrag wurde auf Ihre Merkliste gesetzt!

Wenn Sie sich registrieren, sichern Sie Ihre Merkliste dauerhaft und können alle Einträge selbst unterwegs via Laptop oder Tablett abrufen.

Hier registrieren Sie sich, um Daten der Aussteller- und Produkt-Plattform sowie des Rahmenprogramms dauerhaft zu speichern. Die Registrierung gilt nicht für den Ticket- und AusstellerShop.

Jetzt registrieren

Ihre Vorteile auf einen Blick

  • Vorteil Sichern Sie Ihre Merkliste dauerhaft. Nutzen Sie den sofortigen Zugriff auf gespeicherte Inhalte: egal wann und wo - inkl. Notizfunktion.
  • Vorteil Erhalten Sie auf Wunsch via Newsletter regelmäßig aktuelle Informationen zu neuen Ausstellern und Produkten - abgestimmt auf Ihre Interessen.
  • Vorteil Rufen Sie Ihre Merkliste auch mobil ab: Einfach einloggen und jederzeit darauf zugreifen.