veluri-phd-thesis-vt-code-verification-fv