目次

System
- Alloy
- Erlang
- Prover
- Isabelle

System

Alloy

http://alloy.mit.edu/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

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