模型检测暑期讲习班

2010年10月11日至16日
中国北京

首页 课程 日程 注册 地点 主办 English

讲习班包含一系列模型检测方面的课程:

  • Model checking
  • E. Allen Emerson (UT Austin)
    Slides: 1, 2, 3.
  • Software model checking
  • Patrice Godefroid (Microsoft Research)
    Slides: 1, 2, 3, 4, 5, 6
  • Verification and modeling of continuous-time Markov models
  • Joost-Pieter Katoen (RWTH Aachen)
    Slides: 1, 2, 3, 4, 5, 6.
  • Quantitative verification techniques for probabilistic software
  • Marta Kwiatkowska (Oxford)
    Slides: 1, 2, 3, 4, 5, 6.
  • Bisimulation and logic
  • Colin Stirling (Edinburgh)
    Slides: 1, 2, 3, 4, 5, 6. Lecture notes.
  • Modeling and Analysis of Timed Systems
  • Wang Yi (Uppsala)
    Slides: 1, 2, 3, 4, 5, 6.