|June 19, 2014||BSc Presentation: Verification engineering project presentation|
|Room: Hal B, room 2F||BSc students|
In the project course Verification Engineering, several bachelor students have applied
formal specification, verification, and testing techniques to the modelling of rather
complex, safety-critical distributed systems.
You are invited as critical audience to their final presentations on