Benjamin Lion
- Full Name
- B. Lion
- Function(s)
- PhD student - Universiteit Leiden
- B.Lion@cwi.nl
- Telephone
- +31 20 592 4015
- Room
- L333
- Department(s)
- Formal Methods
Publications
-
Kappé, T.W.J, Lion, B, Arbab, F, & Talcott, C. (2019). Soft component automata: Composition, compilation, logic, and verification. Science of Computer Programming, 183. doi:10.1016/j.scico.2019.08.001
-
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).