C S 340D C S 340D. 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. Three lecture hours a week for one semester. Computer Science 340D and 378 (Topic: Debugging and Verifying Programs) may not both be counted. Prerequisite: Computer Science 429 or 429H with a grade of at least C-.
...the University's Core Curriculum...336C , 339K , 340D , 342C , 344K...at least C- in each...
...or school's General Information...336C , 339K , 340D , 342C , 344K...at least C- in each...