Nous sommes très heureux d'annoncer la sortie de la version 6.0 d'arKItect avec plusieurs améliorations majeures : Support multi-langues :○…
Comment utiliser TLA+ avec arKITectIl est maintenant possible d’interfacer arKItect avec des environnements de preuve formelle. Aujourd’hui nous parlons de…