Húh! Het lijkt erop dat je verdwaald bent? De pagina bestaat niet meer of is verhuisd naar een nieuwe link.
Terug naar de homepagina
Terug naar ons vacatureoverzicht
Verifying the correctness of interacting systems is a serious challenge. The fact that communication between these systems mostly happens asynchronously, and across multiple vendors, makes verification even harder. We would like to see a model-checking based solution that verifies the correctness of these interacting systems.