اسلاید دوم

اسلاید دوم:

شرط لازم برای روش بررسی مدل ارائه یک مدل از سیستم است. 

• ابتدا سیستم های گذار را معرفی می کنیم، که یک کلاس استاندارد از مدل ها برای ارائه سیستم های سخت افزاری و نرم افزاری است. 
• جنبه های مختلف مدلسازی سیستم های همگام را توضیح می دهیم.
• در انتها در مورد مسأله انفجار فضای حالت در بررسی مدل توضیح می دهیم. 

اسلاید اول

اسلاید 1:

طراحی فرآیند دستیابی به درک جزیی تر از خصوصیات داده شده است. 

پیاده سازی را می توان چزیی ترین درک از خصوصیات داده شده در نظر گرفت. 

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

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%

صفحه درس