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
SESSION 6.3 II SW-Engineering III - Development Process II

Perceived Problems of Formal Methods and how to Tackle Them Vortragssprache Englisch

Formal methods have a negative connotation within the engineering community and are generally seen as academic toys. However, at the same time the potential benefits of fully automatic formal verification are also very attractive in a world where we are relying more and more on software which is inherently unreliable. In this presentation we take as a starting point a list of perceived problems with formal methods and show one by one how these can be tackled. In the end we will have presented an approach that uses a formal method in a practical way giving all the benefits of formal verification without any of the perceived problems.

--- Datum: 26.02.2020 Uhrzeit: 14:00 - 14:30 Uhr Ort: Conference Counter NCC Ost

Sprecher

man

Henk Katerberg

/ Verum Software Tools

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.