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.

Ce projet est une pile Elastic complète, comprenant Elasticsearch, Kibana et un agent Elastic fonctionnant en tant que serveur de flotte. Il sert de source centralisée pour les métriques que nous souhaitons collecter et afficher. Un service de configuration génère les certificats demandés pour la communication HTTPS entre les services et définit le mot de passe de l'utilisateur kibana_system dans Elasticsearch.

THEMIS est un outil permettant de monitorer des systèmes distribués en vérifiant des propriétés formulées en LTL de manière décentralisée.