Master thesis: Development of an Agentic AI System for Code Verification | Ericsson