AdaCore software development and verification tools help Real Heart deliver the high assurance, safety, and reliability that lifesaving medical devices demand. NEW YORK & PARIS & NUREMBERG ...

At Tate Modern, I want us to take real risks. I am sure that occasionally we will fail, but if we don’t do that we will never change. What does that mean in practice?