Think Stitch
  最近の更新

Pthread Model Checker

SSG

モデル化

検査

モデル化と検査の事例

CSP

Scheme で作る並行プログラミング言語

「並行システムの検証と実装」より

Lisp & Scheme

SyncStitch の内部

Isabelle

その他、雑談

タイムカプセル

電子工作

© 2013,2014,2015,2016 PRINCIPIA Limited