Explore code-verification