DQ67EPB3 http://www.intel.com/cd/channel/reseller/ijkk/jpn/products/desktop/bdb/dq67ep/feature/index.htm http://kakaku.com/item/K0000244503/?lid=ksearch_kakakuitem_title http://www.amazon.co.jp/%E3%82%A4%E3%83%B3%E3%83%86%E3%83%AB-Boxed-Bo…

本家 Symbolic Analysis Laboratory http://sal.csl.sri.com/ 国内 書籍 論文 その他

本家 http://www.cs.cmu.edu/~modelcheck/smv.html 分家 NuSMV http://nusmv.fbk.eu/ 国内 AISTのさつき http://www.modelcheck.jp/ 書籍 論文 その他

VL800 http://www.via-labs.com/en/products/vl800/index.jsp http://journal.mycom.co.jp/articles/2010/06/01/computex03/index.html http://www.everythingusb.com/area-4-port-usb-3.0-card-20925.html lspci -vv 10:00.0 USB Controller: VIA Technolog…

本家 http://alloy.mit.edu/community/ Allpy v3 vs v4 http://alloy.mit.edu/alloy4/book.html 国内 Alloy Analyzer で形式仕様記述 http://www23.atwiki.jp/alloy/pages/1.html 連載：モデリング技術の新しい動向 第3回 形式手法とモデリング - AlloyAnaly…