Connectivity Imandra’s Connectivity platform brings stakeholders together around a formal description of a service.