Svenska Provers program för formell bevisföring kommer att användas i franska Leirios UML-verktyg för automatisk testgenerering till bland annat smarta kort och telekom.
Franska Lerios har valt bevismotorn från svenska Prover i sitt kommande verktyg för UML-testgenerering, kallat Leirios Test Designer 3.0. Tidigare har fransmännen använt egenutvecklad teknik för ändamålet, men det anser man nu inte längre vara kostnadseffektivt, och i valet av ny leverantör fastnade man för Prover.
Lerios kunder använder verktygen bland annat till att validera funktionerna hos mobiltelefoner, smarta kort, elektroniska betalningssystem och stora programvaror för allt från telekom till bank- och finansändamål. Sådan validering görs idag ofta för hand, eller med hemsnickrade program.
Det är andra gången på kort tid som Prover kan visa upp en ny kund - i förra veckan kom beskedet att bevismotorn även ska användas av The Mathworks i företagets verktyg för formell verifiering av inbyggda system, se artikel (länk) .