درستی یابی سیستم های کامپیوتری

Ref.

1. C. Baier and J.P. Katoen, “Model Checking”, The MIT Press, Cambridge, MA, 2009.
2. E.M. Clarke, O Grumberg, and D.A. Peled, “Model Checking”, The MIT Press, Cambridge, MA, U.S.A, 2001.
3. 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:

1. Bug Catching: Automated Program Verification and Testing, SCS15-414, Fall 2014, Carnegie Mellon University, School of Computer Science. Taught by E.M. Clarke.
2. Graduate Verification Seminar: Automated Theorem Proving, SCS15-817, Spring 2013, Carnegie Mellon University, School of Computer Science. Being taught by E.M. Clarke.
3. Program Verification, CS476, Fall 2013-4, University of Illinois at Urbana-Champaign, Department of Computer Science. Being taught by Jose Meseguer.
4. Techniques for Program Analysis and Verification , CS357, Fall 2013-4, Stanford University, Department of Computer Science. Taught by Dill and Aiken.
5. Computer-Aided Verification, CS745, Fall 2009, University of Waterloo, School of Computer Science. Taught by Joe Atlee.
6. Abstraction: Fighting State Explosion in Model Checking , CS 846, Winter 2010, University of Waterloo, School of Computer Science. Taught by Richard Trefler.
7. Software Verification and Testing, CSC410, Winter 2013, University of Toronto, Department of Computer Science. Being taught by Azadeh Farzan.
8. 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   

           [e-mail]

Grading Policy

1. Programming Assignments: 10%
2. Research Presentations: 10%
3. Final Research Paper: 20%
4. Midterm Exam: 20%
5. Final Exam: 40%

صفحه درس