Abstract - Formale Methoden für die Zertifizierung von Java-Programmen

Referent: Prof. Reiner Hähnle, TU Darmstadt

Titel: Formale Methoden für die Zertifizierung von Java-Programmen

Abstract:
Formale Methoden sind erst durch die neuen Zertifizierungsstandards in der Avionik angekommen. Die Sprache Java bietet gegenüber älteren Sprachen wie C und C++ einige Vorteile hinsichtlich der Verifikation:
Java bietet formalen Methoden eine hinreichende Semantik, um präzise Aussagen über die Korrektheit von Java Programmen zu treffen. Dieser Vortrag gibt einen Einblick in die Technik und wie sie für Java Programme eingesetzt werden kann.
 

Zurück zum Vortragsprogramm