We will be undergoing system maintenance on May 16th, 2024 from 2 am through 6 am central time. The system will be unavailable during that time. Please plan accordingly.
Joost-Pieter Katoen
Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science. He is affiliated with the Formal Methods and Tools Group at the University of Twente.
Books
Principles of Model Checking
9780262304030
