Master thesis: LLM Reasoning for Software Correctness | Ericsson