implement verification framework