Benchmark Examples

Table of Contents

• Broy-Lamport Problem
• Island Tunnel Controller
  • Early Work
  • Master's Thesis
  • Later Work
  • Technical Report
• Light Control
• Material Flow System
• Microsoft Case Study: Debugger
• Production Cell Control Problem
  • Overview Paper
  • Implementation Code
  • Model Checking Solution
• Railroad Crossing Problem
  • Model Checking on Railroad Crossing
  • Continuous Time Logic
  • Verification of Timed Algorithms (survey)
• Steam Boiler Problem

---

Jim Huggins / huggins@acm.org

URL: http://www.eecs.umich.edu/gasm/subjects/benchmark.html (page only)
last update: Friday, 20-Mar-2009 11:35:12 EDT