Model checking software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings - Biondi, Fabrizio; Given-Wilson, Thomas; Legay, Axel (Springer, 2019)