Autor: Bernd Finkbeiner

…

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this …

This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, Yuri Fest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Jou …

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in Janu …