Save the date: 17-19 October 2024 #langdev2024

Save the date: 17-19 October 2024 #langdev2024 You use engineering tools based on Domain specific languages, SysML, UML, Archimate, BPMN… or want to develop internal engineering tools. You want to understand the technical and theoretical basis behind your existing or dreamed applications. Whether they can improve, interface, change, or not! Then there is one place Read more about Save the date: 17-19 October 2024 #langdev2024[…]

How to prove the behavioural properties of an arKItect model with formal methods?

The TLA+ Community Event serves as a forum where practitioners and researchers interested in the use and further development of the TLA+ specification language and its tools meet and discuss. Andrew Samokish will give a presentation the Tuesday, September 10, 2024 at TLA+ Community Event 2024 at Milano, Italy (4.20 pm) on a model-based approach for Read more about How to prove the behavioural properties of an arKItect model with formal methods?[…]