Kim G. Larsen receives prestigious CAV award

PI of IDEA4CPS and Professor at Aalborg University, Kim Guldstrand Larsen, has been awarded the prestigious CAV Award 2013 along with Paul Pettersson and Wang Yi. The award was presented “for developing UPPAAL which is the foremost tool suite for the automated analysis and verification of real-time systems.”

The CAV Award, which also includes $10,000, was presented at the annual CAV (Computer-Aided Verification) conference in St Petersburg, Russia, on 17 July. The award recognizes a specific fundamental contribution or a series of outstanding contributions to the CAV field. It is the first time the award has been presented to researchers from outside North America.

UPPAAL is an automatic analytical tool, which unlike other tools is used during the design time which makes it possible to calculate early in the development if the system will work correctly. UPPAAL has become widely used and has already been used not just by Danish companies like NovoNordisk and Terma, but also by large international companies like Toyota, Bosch and General Motors.