Modulaire formele verificatie van totale correctheidseigenschappen van meerdradige imperatieve programma's KU Leuven
Voor software-ontwikkelingsprojecten met zeer hoge correctheidsvereisten (bv. in het geval dat het systeem bij foute werking schade zou kunnen berokkenen aan personen of goederen, of dat het systeem met het internet verbonden is en dus bestand moet zijn tegen cyber-aanvallen, of dat het systeem snel moet reageren op gebeurtenissen), kan er in veel gevallen niet voldoende zekerheid verkregen worden van de correctheid met klassieke ...