Dependency verification