3rd Year Project

Last updated May 28, 2023

Supervisor: Youcheng Sun
Project: Verification and Testing of Linux/Android (Run-Time Verification)

I have no idea. Yet. Will work on this over the summer.