Formale Modellierung und Validierung von Clustering Algorithmen mit ProB