תקציר העבודה של שמאול שוורץ
מדעי המחשב
מנחה: 'פרופ מרדכי בן-ארי
2006
This thesis describes an investigation into the factors affecting a student’s decision whether to construct a state transition diagram in order to verify the correctness of a concurrent program, or whether to verbally verify the program. I conjectured that...