Debugging Verifying Programs

3 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.