TDD / development of the choreography verification methods (ongoing)