I’ve added a description of my master’s thesis, as well the work plan for the semester and the preliminary report with some initial research.
I will keep this website updated with sections of my thesis that I will be writing and guides about verification methodologies.