How to use TLA+ with arKITect It’s now possible to interface arKItect with formal proof environements. Today we talk about TLA+ interface. There is now the possibility to configure a TLA+ export from an arKItect model. This can help validating your requirements early in the design process. TLA+ is a high-level language for modeling programs Read more about How to use TLA+ with arKITect[…]