Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings - Biondi, Fabrizio; Biondi, Fabrizio; Given-Wilson, Thomas; Given-Wilson, Thomas; Legay, Axel; Legay, Axel (Springer International Publishing : Imprint: Springer, 2019)