Carleton University Graduate Calendar 2010-2011

Breadcrumb trail

Home /Courses/ COMP

Site navigation

  • Calendar Updates
  • Graduate Programs
  • Graduate Courses
  • The Academic Year
  • General Regulations
  • Awards and Scholarships
  • Graduate Supervisors
  • About the University
  • Calendar Archives
  • PDF version
  • Student Services
  • Undergraduate Calendar

Computer Science (COMP)

School of Computer Science

COMP 5404 [0.5 credit] (CSI 5144)

Computer-Aided Program Verification

Automatic verification techniques for concurrent, reactive, and real-time programs. Topics may include temporal logics, the basic model-checking algorithm, symbolic model checking, compositional techniques, exploiting abstraction and symmetry, models based on partial orders, model-checking for the mu-calculus, applications to communication protocols, computer security and digital circuits.
Prerequisite: COMP 4004 or equivalent.

Summer session: some of the courses listed in this Calendar are offered during the summer. Hours and scheduling for summer session courses will differ significantly from those reported in the fall/winter Calendar. To determine the scheduling and hours for summer session classes, consult the class schedule at central.carleton.ca

Not all courses listed are offered in a given year. For an up-to-date statement of course offerings for the current session and to determine the term of offering, consult the class schedule at central.carleton.ca

top

  • Apply to Graduate Studies

    Apply!

    Application Deadlines

    Information about application deadlines can be found here.
  • LOGIN

    • MyCarleton Portal
    • WebCT
    • Carleton Central