\section{ 検証とデバッグ}

(A)のプロトコルがEditor 二つで動作すること、及び、(B)のプロトコル
が複数のEditorで動作することを Java PathFinder で確認することが
出来た。

(C)は、実際のSession Managerの実装を含む検証となるので、よりハードルが
高い。現状では、Java PathFinder での動作確認は出来ていない。

Java PathFinder でvimやEmacsを含む検証は可能とはなっていないが、
Sample Editor をJava で実装することにより、Java PathFinderでの
Merge Protocolの検証が可能となっている。

実際には、vim やEmacs などのEditor側の実装が正しいかどうかを調べる
ことも重要である。それは、Merge Protocolを切った状態で、Javaの
Sample Editor に対する動作を確認することで調べることが出来る。