CS 706: Concurrent Software Systems
Course Information from University Catalog
Topics include concurrent programming languages and constructs, and specification, design, verification, and validation of concurrent programs. Students required to solve concurrent programming problems and check solutions by using verification, testing, and debugging tools.
Hours of Lecture or Seminar per week: 3