Verificatie van software: erg complex maar in ieders belang

Datum:
31 oktober 2019 van 19:00 tot 21:00 uur
Locatie:
KNAW, Trippenhuis, Kloveniersburgwal 29, 1011 JV Amsterdam
Contact:
Telefoon:
020 551 0782
Voeg toe:

Veiligheidskritische systemen - zoals 112 - raken soms onverwacht het spoor bijster. Er ligt een grote en fundamentele uitdaging hoe software te maken, zodanig dat fouten niet meer voorkomen en software altijd doet wat er van wordt verwacht.

Verficatie Sofware

 Vier sprekers zetten uiteen welke opmerkelijke technieken al beschikbaar zijn, en wat er nog moet gebeuren om software werkelijk betrouwbaar te maken.

Met:

  • Jan Bergstra, hoogleraar programmatuur en software-engineering, Universiteit van Amsterdam – Welkom en introductie
  • Jan Friso Groote, hoogleraar en voorzitter Formal Systems Analysis Group, Mathematics and Computer Science, Technische Universiteit Eindhoven  - Complexiteit vereist model checking
  • Marieke Huisman, hoogleraar Software Reliability, groepsleider Formal Methods and Tools, Universiteit Twente – Betrouwbare software voor iedereen
  • Mieke Massink, onderzoeker, Formal Methods and Tools Laboratory, Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Pisa, Italië – Simpel en toch complex: verificatie van grote zelf-organiserende systemen
  • Eelco Visser, hoogleraar Programmeertalen, Technische Universiteit Delft – Taalgebaseerde softwareveiligheid