Formele modelverificatie van stormvloedkering tot treinvolgsysteem

Gegarandeerd foutvrije software binnen tijd en budget, wie wil dat niet? Dat is de belofte die formele modelverificatie ons doet. Toch past de industrie deze tak van sport nog maar weinig toe, deels uit onbekendheid, deels uit angst voor de complexiteit van formele methodes. Aan de hand van drie praktijkvoorbeelden laat Franc Buve van Logica zien dat formele modelverificatie wel degelijk met succes in commerciële projecten toepasbaar is.

LogicaCMG groeit 3 procent

De Nederlandse tak van LogicaCMG heeft 643 miljoen euro omzet geboekt in 2007, 8 procent meer dan het jaar ervoor.

De With stopt bij LogicaCMG

Peter de With, deeltijd hoogleraar aan de TUE, heeft zijn functie als hoofdadviseur bij LogicaCMG neergelegd.

Lifestyleonderzoek krijgt steun EZ

LogicaCMG, Philips, het Telematica-instituut, en NEC Europe en het Duitse Instituut voor Radiotechniek (IRT) zijn twee internationale onderzoeksprojecten begonnen om de lifestyle en het welzijn van mensen te bevorderen.