Computer aided verification. 31st international conference, CAV 2019, New York City, NY, USA, July 15--18, 2019. Proceedings. Part I
scientific article