George Mason University
DEPARTMENT OF COMPUTER SCIENCE
Prerequisites | Description | Readings | Syllabus | Grading | Late | Home Page
Professor Richard Carver
703-993-1550
rcarver@cs.gmu.edu
(Please prefix the subject of your email with CS735.)
Course office hours: Tuesday, Thursday 12:30-1:30pm
Office: ST2 Room 343
PREREQUISITES :
CS 635 or 706 or equivalent.
DESCRIPTION :
Study of techniques and tools for specifying and verifying
concurrent and distributed programs. Potential topics include
model checking, temporal logic, process algebra, and test generation.
Automated verification tools will be used to specify and verify
programs.
Required: Software Reliability Methods by Doron Peled.
LOGISTICS AND GRADING:
No exams will be given. Students will be required to solve concurrent
programming problems and to check their solutions by using verification, testing, and
debugging tools. In addition, each student will have to complete a project to
specify and verify a larger example using one of the tools we studied or one of
his/her choice.
LATE ASSIGNMENTS AND PROJECTS:
The late submission policy is as follows: assignments will be marked down 5% for each late day for the first three days after the due date. Beyond that assignments will be marked down 10% for each late day.