Verified Batteries