Intro to S/W Verification - Spring 03 

Course main site

My notes

Posted here for your careful use. Please be critic when reading - files might not reflect last minute corrections nor mistakes found in class. Files are posted here for limited time and are later deleted to reclaim space. Print if you want to keep them.



Contact Info
Class Thursday 11:00-12:00, room 90/227
Office hours:  Monday 15:00-16:00



Of Interest

1) Tarjan's original algorithm

2) from Introduction to Algorithms / T. H. Cormen et. al. (Hebrew edition) - scc algorithm, dfs algorithm.