Formal Methods & Verification, Fall 2011

Instructor: Prof. Farn Wang

Wednesdays 09:10AM-12:10PM @ BL-103


ANNOUNCEMENTS


 


COURSE SCHEDULE


      1. 09/14   Introduction (教師節請假, 待補課)

      2. 09/21   Propositional Logic & BDD technology

      3. 09/28   Propositoinal Logic & BDD technology

      4. 10/05   Propositional Logic & BDD technology

      5. 10/12   State Machines & Learning (Go to attend the conference of ATVA)

      6. 10/19   State Machines (1st Project Announcement)

      7. 10/26   State Machines              

      8. 11/02   State Machines ( 1st Project Report )

      9. 11/09   Temporal Logics & Symbolic Model-Checking

    10. 11/16   Temporal Logics & Symbolic Model-Checking

    11. 11/23   Temporal Logics & Symbolic Model-Checking

    12. 11/30   Temporal Logics & Symbolic Model-Checking ( 2nd Project Report )

    13. 12/07   Embedded Systems

    14. 12/14   Term Examination

    15. 12/21   Game Theories

    16. 12/28   Model-based Testing

    17. 01/04   3rd Project Report

    18. 01/11   Paper reading presentation 9am-11:50am

              




LECTURE NOTES (UNDER REVISION CONSTANTLY)

 




HOMEWORKS



TERM PROJECTS

 

                           Please download the newest on the  redlib site.
                              
The latesd version redlib.a
                               The latesd version sudoku solver, built on the top of REDLIB.
                               If you have compiler error on 64-bits Linux,
you can add -m32 to your make file to pass the error message.
                         




EXAMINATIONS


 


REFERENCE COURSE LNKS

 


REFERENCE MATERIALS

 

 

 

 


TA INFORMATION