Lunchlezing Sioux

Formal method benefits in practice with ASD/Dezyne

In a world of software systems getting more complex, developers encounter various kinds of challenges. One of these challenges is to let an increasing number of components in a software system to function together in a correct and maintainable manner. Michaël van de Ven (Sioux) found help from the formal method perspective. The tools from Verum - ASD and Dezyne - are based on a formal method and prove that process algebra is very effective to work with in practice. Michael experienced that ASD and its successor Dezyne proved to be a valuable addition to his personal software toolbox. As the first presentation of a twofold, Michael takes you along on his software experiences in various projects situated in the Brainport region. In the second presentation scheduled for June, the mathematical theory under the hood of the Verum tools will be explained.