Research Foundation working on a formal framework for detecting divergence in distributed interpretation systems.