Vrijwel foutloze software lijkt een utopie. Toch laat Imtech ICT Technical Systems met het zelfontwikkelde I-Mathic zien dat bewijsbaar correcte software werkelijkheid kan zijn. 'Met I-Mathic gaan we voor kwaliteit door ontwerp', zegt John Dijkhorst, Accountmanager. 'I-Mathic integreert formele methodes op een begrijpelijke manier in het softwareontwikkelproces. Theoretisch bieden deze methodes een oplossing, maar ze zijn moeilijk toepasbaar. Met I-Mathic maken we een correct ontwerp nog vóór er geprogrammeerd wordt. Hogere betrouwbaarheid tegen lagere kosten dus.'

Imtech ICT paste I-Mathic succesvol toe bij Philips Applied Technologies. 'Een bestaande softwarecomponent van een multimedia PC applicatie was zeer gevoelig voor timingproblemen en moest uitgebreid worden. Met I-Mathic werd de bestaande functionaliteit foutloos  nagebouwd en werd de nieuwe functionaliteit toegevoegd. Met als resultaat een stabiele component en een tevreden klant.'