Verification Of Sequential And Concurrent Libraries