How to check abelian group?

How would one go about verifying whether a given set of elements and an operation satisfy the properties of an abelian group? Specifically, what steps should be taken to ensure that the operation is associative, that there exists an identity element, that every element has an inverse, and that the operation is commutative? Are there any specific tools or algorithms that can be used to facilitate this process?