Boute, RaymondRaymondBoute2021-10-152021-10-152003https://imec-publications.be/handle/20.500.12860/7256Can lightweight formal methods carry the weight?Proceedings paper