Scandinavian Real Heart selects AdaCore software for artificial heart

A prototype of the artificial heart device. Credit: Scandinavian Real Heart