Spring 2024, 15614: Below is information about CMU Spring 2024 course 15614: Bug Catching: Automated Program Verification. The course number is 15614 or 15-614. The course Bug Catching: Automated Program Verification(15614) in spring 2024 has 9.0 unit. The professor Martins is teaching the course Bug Catching: Automated Program Verification(15614) in spring 2024. The professor/instructor of Bug Catching: Automated Program Verification(15614) in spring 2024 is Martins. The department of Bug Catching: Automated Program Verification(15614) is Computer Science. The location of Bug Catching: Automated Program Verification(15614) is Pittsburgh, Pennsylvania. The room of Bug Catching: Automated Program Verification(15614) is HH B131. The course happens in TR, from 12:30PM to 01:50PM in spring 2024.
