C S X40D C S 340D Debugging Verifying Programs 3 Hours
3 Lecture Hours 0 Lab Hours
Basic concepts of formal methods with emphasis on using and applying mathematical logic plus finite state systems theory to program verification and debugging. Computer Science 340D and 378 (Topic: Debugging and Verifying Programs) may not both be counted. Three lecture hours a week for one semester.
Core Curriculum: 010
Pre/Corequisites: Computer Science 429 or 429H with a grade of at least C-.
Grading: Student Option
Repeatable for credit: No
Academic Level: Upper Division