Is path condition satisfiablility check a verification approach?

If I ask user about are these conditions true or not. Then check (With constraint solver) whether the conjunction of path conditions satisfiable, Can this method is considered as the verification approach? Or only when I detect whether the errors exist, The approach is considered as the verification approach?