http://www.nec.co.jp/middle/WebSAM/products/Invariant_Analyzer/
http://www.nicovideo.jp/watch/sm9880611
