Between 24 and 26 September, the University of Twente will act as host to the International Workshop on Automated Verification…