Master Thesis - Experiment Results: LLM-Assisted Generation of Formal Verification Harnesses for the Intel TDX Module Firmware

This dataset contains the original log files of all interactions with the Gemini CLI of the experiments that were conducted during the thesis' experiments. Furthermore, it contains the plots and aggregated artifacts that we derived from these log files. We conducted three experiments.The results of the first, along with all measurements, the raw data, and the plots are contained in experiment_1_results.zip and experiment_1_plots.zip.This also holds for experiments 2 and 3 for experiment_2.zip and experiment_3.zip.