CIS Seminar: “Scaling Machine-Checkable Systems Verification in Coq”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia

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 […]