Nieke Roos
27 May 2008

Verum heeft een overeenkomst gesloten met Formal Systems voor het exclusieve gebruik van diens model-checker FDR in de Analytical Software Design-toolbox (ASD). Het contract bepaalt dat de Eindhovenaren de enigen zijn die het hulpmiddel van het bedrijf uit het Britse Oxford mogen opnemen in ontwerpgereedschap. ’FDR is een van de belangrijkste componenten van ASD‘, zegt Verum-CEO Rob Howe. ’We kunnen de mogelijkheden van de model-checker nu inpassen in onze commerciële toepassingen en codegeneratortools.‘ De levering van het eerste ASD-gebaseerde product staat gepland voor begin 2009, met een release van de complete gereedschapskist in de zomer van datzelfde jaar.