A Weil-etale version of the Birch and Swinnerton-Dyer formula over function fields

We give a reformulation of the Birch and Swinnerton-Dyer conjecture over global function fields in terms of Weil-etale cohomology of the curve with coefficients in the Neron model, and show that it holds under the assumption of finiteness of the Tate-Shafarevich group.