The video, below, gives an introductory tour of the way
one can use VerChor with the BPMN Eclipse plugin in order to
design, check and correct choreographies.
If the video does not load / work in your browser, you
may download it either in