synchronous verification