1. Download Statechum from Sourceforge

svn checkout http://svn.code.sf.net/p/statechum/code/XMachineTool/trunk statechum

2. CD into statechum, compile with ant

ant compileStatechum

3. CD into lib/synapse (w/in statechum)

erlc *.erl

4. Check out Synapse in folder (say synapse)

git clone https://github.com/ramsay-t/Synapse.git

5. cd into synapse

make

6. edit synapse.conf and statechum.conf so that paths are correct

statechum.conf:
{'Java','/usr/bin/java'}.
{'StatechumDir','/Users/simonthompson/systems/statechum'}.

synapse.conf: 
{statechum_conf,"/Users/simonthompson/systems/Synapse/statechum.conf"}.

7. run: 

erl -pa ebin -sname foo

8. F1 = synapse:learn_erlang(‘full path to .erl file as an atom’).

9. synapse:visualise(F1).

10. F2 = …. ; Diff = synapse:diff(F1,F2,[]).

11. synapse:visualise_diff(F1,Diff).

12. synapse documentation at 

http://ramsay-t.github.io/Synapse/doc/index.html