Boute, RaymondRaymondBoute2021-10-152021-10-152004-01https://imec-publications.be/handle/20.500.12860/8632Formal reasoning about systems, software and hardwareProceedings paper