Onderzoeksproject IT/IF/015 (Onderzoeksactie IT)
Dit project heeft tot doel werktuigen te ontwikkelen voor de verificatie van de eigenschappen van parallelle programma's in temporele logica. De gevolgde verificatiemethode is model-checking. Het project zal gebruik maken van de jongste verbeteringen van deze techniek zodat ook omvangrijke programma's kunnen worden geverifieerd.
