Enroll in CSCE 990: Software Verification if you are interested in:
· Identifying bugs in programs
· Analyzing program correctness and complexity
· Repairing buggy programs
· Learning how software companies such as Facebook, Microsoft, and NASA develop techniques and tools to improve software quality
This course is under the Theory track for M.S. & Ph.D. programs in computer science.
Credit Hours: 3
Instructor: ThanhVu Nguyen (tnguyen@cse.unl.edu)
Schedule: TR 11 a.m.–12:15 p.m.