static verification