A flexible method for applying Chabauty's Theorem

A strategy is proposed for applying Chabauty's Theorem to hyperelliptic curves of genus > 1. In the genus 2 case, it shown how recent developments on the formal group of the Jacobian can be used to give a flexible and computationally viable method for applying this strategy. The details are described for a general curve of genus 2, and are then applied to find C(ℚ) for a selection of curves. A fringe benefit is a more explicit proof of a result of Coleman.