This web site is no longer maintained and the content may be outdated.
Please visit for up-to-date information.
No upcoming events...

Home / Courses / CmpE 58S
  CmpE 58S    

Computer Aided Verification

Description: Introduction to the theory and practice of formal methods for the design and analysis of systems, with a focus on automated algorithmic techniques. Formal verification. Functional correctness. Model checking. Runtime verification. Simulation based verification. Equivalence checking. Temporal logic. Binary decision diagrams. Satisfiability based model checking. Partial order reduction. Applications in hardware and software verification.

Course Offerings:

Fall 2013Alper Şen
Fall 2012Alper Şen
Fall 2011Alper Şen
Fall 2010Alper Şen
Fall 2009Alper Şen
Boğaziçi University Department of Computer Engineering
Address: 34342 Bebek, Istanbul, TURKEY
Phone: +90 212 359 4523-24 Fax: +90 212 287 2461
general information:   webmaster: