Outil de vérification et de test pour évaluer la cohérence des bases de données relationnelles et distribuées. Il génère des historiques de transactions, les exécute sur des bases de données cibles, puis vérifie leur conformité à des modèles de cohérence comme la causalité, l'isolation instantanée ou la sérialisation. Utilisé principalement dans la recherche académique et l'optimisation des systèmes transactionnels.