Read more at: The researcher looking for better ways to prove systems software is correct
The researcher looking for better ways to prove systems software is correct
26 November 2024
If errors in an operating system enable a virus or malware to infect it, it can lead to security breaches or financial losses. Now a researcher here has been awarded a Royal Society Fellowship to look for better methods to verify if systems software is correct.