L’événement communautaire TLA+ est un forum où les praticiens et les chercheurs intéressés par l’utilisation et le développement du langage de spécification TLA+ et de ses outils se rencontrent et discutent.
Andrew Samokish donnera une présentation le mardi 10 septembre 2024 au TLA+ Community Event 2024 à Milano, Italie (16h20) sur une approche basée sur les modèles pour la vérification formelle de la spécification : arKItect