2011-2012 University Catalog 
  
2011-2012 University Catalog

CS 735 - Concurrency

Credits: 3 (NR)
Studies techniques, tools for specifying and verifying concurrent and distributed programs. Topics may include model checking, temporal logic, process algebra, and test generation. Automated verification tools used to specify and verify concurrent programs.

Prerequisite(s): CS 635 or 706, or equivalent.

Hours of Lecture or Seminar per week: 3
Hours of Lab or Studio per week: 0