Tampere Verification Tool