====== System ======

===== Alloy =====
  * [[http://alloy.mit.edu/alloy/]]
  * [[http://www23.atwiki.jp/alloy/|Alloy Analyzer で形式仕様記述]]
===== Erlang =====

  * http://www.erlang.org/
  * http://www.erlang.org/doc/efficiency_guide/
  * http://ja.wikipedia.org/wiki/Erlang
  * http://en.wikipedia.org/wiki/Erlang_%28programming_language%29
  * http://learnyousomeerlang.com/
  * http://trapexit.org/
  * http://erlang-users.jp/
  * http://erlangworld.web.fc2.com/

===== Prover =====

  * [[http://as305.dyndns.org/aps/|Anarchy Proof]]

===== Isabelle =====

  * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
  * http://www.score.cs.tsukuba.ac.jp/~minamide/isabelle-ss04/
  * http://d.hatena.ne.jp/soutaro/20101028/1288288965