ＴｏｐＳＥの２０１０年、２００９年の講義が、
edubase Stream
http://stream.edubase.jp/packages
にあるらしい。
ＢメソッドとＶＤＭは、「形式仕様記述（基礎編）(2010年度)」
ＳＰＩＮは 「設計モデル検証（基礎編）（2010年度）」
にあると思う。
上記のページを下にスクロールすると、エンピリカルとかもある。
ちなみに、人気講師Ｎｏ１（＾＾）の磯部先生の、
「並行システムの検証と実装」は、
ＧｏｏｇｌｅのＧｏなんかで採用されている並行処理モデルの
ＣＳＰや、検証ツールＦＤＲ，ＪＣＳＰのお話。
