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 avi, mp4 or ogv format.