Verification using parameterised Boolean equation systems

Research output: Contribution to journalArticleAcademic


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.
Original languageEnglish
Pages (from-to)51-58
JournalNieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica
Publication statusPublished - 2010


Dive into the research topics of 'Verification using parameterised Boolean equation systems'. Together they form a unique fingerprint.

Cite this