Verification by Error Modeling by Katarzyna Radecka & Zeljko Zilic