Master Thesis: Data Structure on LLM-Based Verification Analysis | Ericsson