June 19, 2007
LEIRIOS Choose Prover Plug-In for Speed and Capacity
UML Test Generation Solution Targets Financial Services, Smartcard and Telecom
Besançon, June 11th 2007 - LEIRIOS, developer of automatic test generation software, today announced that Prover Plug-In will power its latest software product LEIRIOS Test Designer 3.0TM. By partnering with Prover Technology, LEIRIOS strengthens its UML test generation solutions for the Financial Services, Smartcard and Telecom industries.
Laurent Py, CEO of LEIRIOS, commented "Our main R&D priority is seamless integration with front-end and back-end tools from vendors like Compuware, Borland, and Mercury. Instead of continuing our costly in-house proof engine development, we decided to license this technology. After extensive benchmarking we choose Prover Plug-In since it yielded the best capacity and performance."
Thierry Lartaud, VP European Sales at Prover Technology continued "Test generation is one of the key solutions to overcoming towering V&V challenges. LEIRIOS Test Generator delivers outstanding performance and usability, and enables us to bring Prover Plug-In to UML Applications and companies like Ingenico, SNCF or Parkeon."
LEIRIOS technology includes, among other things, the ability to validate mobile phone functionality, electronic payment solutions, software applications for banking, telecoms, and financial institutions. Designed for professionals involved with computer development and software quality, LEIRIOS Test Designer™ 3.0 enables customers to automate software test design in areas that required manual handling until now. The market for automatic test design represents significant potential, especially considering that 80% of the time, test design is still done manually and that investment in software quality and testing is expected to exceed that of software development as early as 2008.
LEIRIOS Test Designer™ 3.0 incorporates a Prover Plug In proof engine from Prover Technolog (www.prover.com). Prover Plug-In automatically generates test cases and counterexamples, and performs proofs by exploring model execution paths using automated mathematical reasoning. Such systematic analysis complements simulation and provides deeper insight into system behaviour.
############################
PRESS CONTACT LEIRIOS
AMALTHEA - Julie BARBARAS - jbarbaras@amalthea.fr - Tél : +33 (0)4 26 23 41 48
PRESS CONTACT PROVER TECHNOLOGY
Marcus Tallhamn - marcus@prover.com - Tél : +1 650 722 2750
About Prover Technology - www.prover.com
Prover® Technology provides two premier software solutions: Prover iLock for control and signaling system development and Prover Plug-In for formal verification tool developers. Prover Technology also provides services supporting deployment of its products. The company was founded in 1989 and is privately held. It is headquartered in Stockholm, Sweden with wholly owned subsidiaries in France and USA. Prover Technology's customer base includes ABB, Airbus, Ansaldo, Norwegian National Rail Administration, Leirios, Esterel Technologies, OSC Embedded Systems, The MathWorks, Swedish National Rail Administration, Stockholm Transport (SL), Thales, NYCT (New York Metro), RATP (Paris Metro), and many others. Prover, Prover Technology, Prover Plug-In and the Prover logo are trademarks or registered trademarks of Prover Technology AB in Sweden, the United States and in other countries.
About LEIRIOS - www.leirios.com
Founded in 2003, LEIRIOS designs and develops software for automated test generation. Winning the prize as "Company of the Future" in Ernst & Young's 2006 Entrepreneur Grand Prix for eastern French regions, LEIRIOS is a spin-off from the CNRS/INRIA Computer Science Laboratory at the University of Franche-Comté (France). The company's Smart Testing™ solution was originally deployed for testing applications embedded in smartcards, and is now used for validating major information systems, such as those found in banking and telecom industries. This market is expected to reach 500 M Euros in 2009. Today, LEIROS Smart Testing™ customers include major smartcard and e-payment companies such as Austria Card, Gemalto, Giesecke Devrient, Ingenico, Parkeon, Sagem (SESAM VITALE 2), and more. The company employs 30 people in its Paris, Munich, and Besançon offices. Its headquarters and R&D center are in Besançon. With financial support from OSEO anvar, LEIRIOS raised 1 M Euros in capital in 2004 and 2 M Euros in 2005. LEIRIOS participates actively in two industry clusters in its field: TES in Caen, France, focusing on Secured Electronic Transactions, and Microtechniques in Besançon, France.
