[PPT] - Full Functional Verification of Linked Data Structures Karen Zee , PowerPoint Presentation