Learn about a company that has developed several projects with a Model Driven Development approach. The modeling tool which we used enables software designers to model behaviour of the software, and to check this model for certain issues, well known to developers: deadlocks, live-locks, starvation, race conditions etc. This is performed by mathematical verification. From this verified model the source code is generated and it is guaranteed that the implementation is correct, which in fact means that the implementation is equivalent to the model. Whether the model itself is correct, is of course a different question.
Video Producer: Eurostar Conference