Boute, R.R.Boute2021-10-172021-10-172008-10https://imec-publications.be/handle/20.500.12860/13437Simple gedanken experiments in leveraging applications of formal methodsProceedings paper