models/verification library