Verification using parameterised Boolean equation systems

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic


In this note, we illustrate how parameterised Boolean equation systems can be employed for verifying system correctness. Several small examples are used to give a flavour of the more common techniques available for conducting typical verifications in this setting.We finish with a short discussion of the research challenges that lie ahead.
Originele taal-2Engels
Pagina's (van-tot)51-58
TijdschriftNieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica
StatusGepubliceerd - 2010


Duik in de onderzoeksthema's van 'Verification using parameterised Boolean equation systems'. Samen vormen ze een unieke vingerafdruk.

Citeer dit