Benjamin Lion, Samir Chouali, Farhad Arbab. Compiling Protocols to Promela and Verifying their LTL Properties. In Regina Hebig, Thorsten Berger, editors, Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018. Volume 2245 of CEUR Workshop Proceedings, pages 31-39, CEUR-WS.org, 2018. [doi]
Abstract is missing.