CWI https://www.cwi.nl https://www.cwi.nl/logo.png Benjamin Lion Full Name B. Lion Function(s) PhD student Email B.Lion@cwi.nl Telephone +31 20 592 4015 Room M352 Department(s) Formal Methods Publications Lion, B, Chouali, S, & Arbab, F. (2018). Compiling protocols to Promela and verifying their LTL properties. In Proceedings of 21st MODELS Workshops 2018: Copenhagen, Denmark (pp. 31–39).
