This web site is no longer maintained and the content may be outdated.
Please visit www.cmpe.boun.edu.tr for up-to-date information.
 
CmpE RSS
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: infocmpe.boun.edu.tr   webmaster: webmastercmpe.boun.edu.tr