Parallel Computation of Skyline Queries Verification COSC6490A Fall 2007 Slawomir Kmiec Presentation Outline Skyline Concepts The Parallel Algorithm JPF Experience JPF Issues…