Violation analysis and structure validation