Think Stitch
  最近の更新


モデル検査器によるマルチスレッドプログラムの検証

2017年9月23日に行われた第5回静的コード解析の会で発表した資料です.

モデル検査器によるマルチスレッドプログラムの検証 (PDF)

この資料で使っている検査ツール Pthread Model Checker

2017/9/24

© 2013-2017 PRINCIPIA Limited