CIS Seminar: “Scaling Machine-Checkable Systems Verification in Coq”
/
Wu and Chen Auditorium (Room 101), Levine Hall
3330 Walnut Street, Philadelphia, PA, United States
System software like operating systems and hypervisors forms the critical backbone of our computing infrastructure. However, due to their size and complexity, these systems often contain vulnerabilities that can compromise […]

