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.
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.
Deze inschrijflijst is open van dinsdag 14 juni 2016 om 07:00 tot dinsdag 14 juni 2016 om 07:00.
|Login om de lijst met deelnemers te bekijken.|