Montesquieu Institute: from science to society

Verificatie van software: erg complex maar in ieders belang, Amsterdam


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.

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

1.

More about...