This book constitutes the strictly refereed proceedings of the 9th International Conference on Co...

Model checking technology is among the foremost applications of logic to computer science and com...