Formal verification and AI-driven security auditing