|list of the recommended textbooks |
Symbolic Model Checking Without BDDs
|A. Biere, A. Cimatti, E. Clarke and Y. Zhu|
|Symbolic Model Checking Without BDDs|
|In proceedings of the 5th International Conference on Tools and |
Algorithms for Construction and Analysis of Systems (TACAS), 1999.
Floyd original paper
|This is Floyd's original paper about verification of flowchart programs. The course is NOT taught according to the notations presented, but it is still a nice historical evidence.|