The Bulk-Edge Correspondence in Quantum Hall and Topological Insulator Systems