۲۷
بهمن
Ref.
- C. Baier and J.P. Katoen, “Model Checking”, The MIT Press, Cambridge, MA, 2009.
- E.M. Clarke, O Grumberg, and D.A. Peled, “Model Checking”, The MIT Press, Cambridge, MA, U.S.A, 2001.
- M. Huth and M. Ryan, “Logic in Computer Science: Modeling and Reasoning about Systems”,2nd Ed., Cambridge University Press, 2004.
استاد درس: دکتر موقر
Some Similar Recent courses in North America:
- Bug Catching: Automated Program Verification and Testing, SCS15-414, Fall 2014, Carnegie Mellon University, School of Computer Science. Taught by E.M. Clarke.
- Graduate Verification Seminar: Automated Theorem Proving, SCS15-817, Spring 2013, Carnegie Mellon University, School of Computer Science. Being taught by E.M. Clarke.
- Program Verification, CS476, Fall 2013-4, University of Illinois at Urbana-Champaign, Department of Computer Science. Being taught by Jose Meseguer.
- Techniques for Program Analysis and Verification , CS357, Fall 2013-4, Stanford University, Department of Computer Science. Taught by Dill and Aiken.
- Computer-Aided Verification, CS745, Fall 2009, University of Waterloo, School of Computer Science. Taught by Joe Atlee.
- Abstraction: Fighting State Explosion in Model Checking , CS 846, Winter 2010, University of Waterloo, School of Computer Science. Taught by Richard Trefler.
- Software Verification and Testing, CSC410, Winter 2013, University of Toronto, Department of Computer Science. Being taught by Azadeh Farzan.
- Topics in Verification (Game Theory in Formal Verification), CSC2226H, Winter 2014, University of Toronto, Department of Computer Science. Being taught by Azadeh Farzan.
T.A. : Shirin Baghoolizadeh
baghoolizadeh@gmail.com
Grading Policy
- Programming Assignments: 10%
- Research Presentations: 10%
- Final Research Paper: 20%
- Midterm Exam: 20%
- Final Exam: 40%
