Imandra’s automated reasoning technology makes it possible to connect digital twins of trading systems’ APIs with their implementations.