PRINCIPIA
ProductsBlogAbout Us

Pthread Model Checker

Pthread Model Checker Reference Manual

Sample Models

[Japanese]

  1. An Introduction to Pthread Model Cheker
  2. Deadlock detection
  3. Barriers
  4. Spurious wakeups
  5. Producers-Consumers problem 1
  6. Producers-Consumers problem 2
  7. Producers-Consumers problem 3
  8. Producers-Consumers problem 4
  9. Semaphores 1
  10. Semaphores 2
  11. Readers-Writers Locks
  12. Thread Pool
  13. Nondeterministic choice statement AMB
  14. Work stealing