Comment utiliser TLA+ avec arKITect
Comment utiliser TLA+ avec arKITect Il est maintenant possible d’interfacer arKItect avec des environnements de preuve formelle. Aujourd’hui nous parlons de l’interface TLA+. Il y a maintenant la possibilité de configurer un export TLA+ à partir d’un modèle arKItect. Cela peut aider à valider vos exigences au début du processus de conception.TLA+ est un langage Read more about Comment utiliser TLA+ avec arKITect[…]