Itiviti, the trading technology provider, has announced a partnership with automation and AI specialist Imandra that will see Imandra’s engine...