Courses of Study 2024-2025 
    
    Dec 04, 2024  
Courses of Study 2024-2025
Add to Favorites (opens a new window)

CS 6480 - [Systems Software and Formal Methods]


     
Spring. Not offered: 2024-2025. Next offered: 2025-2026. 3 credits. Student option grading.

Prerequisite: CS 4410 .

R. van Renesse.

This is a graduate course on systems software and formal methods. The increasing complexity and scale of software systems has led to significant challenges for their reliability, performance, manageability, and security. Examples of such systems include entire operating systems, file systems, databases, networks, distributed systems, device drivers, and so on. The goal of this course is to become familiar with techniques and tools for specifying systems and proving correct systems implementations. After a few introductory lectures, students will be presenting recent research papers on provably correct systems. Students are also expected to design and execute a significant project and writing a draft paper on their project.



Add to Favorites (opens a new window)