Themis Artifact Repository est un ensemble d'outils permettant la surveillance et l'analyse de spécifications distribuées. Il offre des fonctionnalités telles que la génération d'automates à partir de formules LTL, la minimisation de formules booléennes et LTL, et le monitoring décentralisé de systèmes.

D4v2 est un outil d'analyse et de résolution de problèmes d'optimisation combinatoire, particulièrement adapté à la génération de partitions de graphes et à l'analyse de formules booléennes. Il offre une grande flexibilité grâce à sa capacité à gérer différents types de heuristiques et de méthodes de résolution.