Lunchlezing Sioux

Verum’s Dezyne modeling language: the practical application of Formal Methods in Industry.

In this talk, Paul Hoogendijk (Verum) will show how Verum’s Dezyne language and accompanying tool-set disclose the power and benefits of Formal Methods to a regular engineer, paving the path for adopting Formal Methods in Industry as shown by numerous projects at ASML, Philips, FEI, and Sioux, amongst others.

The Dezyne language has some algebraic properties which allow a software engineer to express models in a very compact and natural way. The same algebraic properties are used for presenting the user normalized, uniform views on the models. Also, these algebraic properties are used for generating Hoare’s CSP (Communication Sequential Processes) as input for the model checker, and for generating the target languages (C, C++, Java, C#, Python, JavaScript).

This talk is the follow-up of the talk in March where Michaël van de Ven (Sioux) talked about his personal, practical experience in applying Verum’s tools in various projects situated in the Brainport region.

Start
dinsdag 14 juni 2016 om 12:45
Einde
dinsdag 14 juni 2016 om 13:30
Locatie
MF 14
Kosten
Gratis
Google Calendar

Inschrijflijsten

Neem contact op met €orporate €ommunication and €ontact €ommittee of het bestuur (cib@gewis.nl) als je vragen of opmerkingen hebt of als je na het verstrijken van de afmeldtermijn niet aanwezig kunt zijn. Veel plezier!

Deze inschrijflijst is open van dinsdag 14 juni 2016 om 07:00 tot dinsdag 14 juni 2016 om 07:00.