Symbolic Model Checking Without BDDs | |
מחבר: Author: Автор: مؤلف: | A. Biere, A. Cimatti, E. Clarke and Y. Zhu |
קישור: Link: Ссылка: وصلة: | Symbolic Model Checking Without BDDs http://www.cs.cmu.edu/~emc/15-820A/reading/biere99symbolic.pdf |
הערות: Notes: Примечания: ملاحظات: | In proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 1999. |
Floyd original paper | |
מחבר: Author: Автор: مؤلف: | R.W. Floyd |
קישור: Link: Ссылка: وصلة: | http://web.eecs.umich.edu/~weimerw/2007-615/reading/FloydMeaning.pdf |
הערות: Notes: Примечания: ملاحظات: | 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. |