Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Concurrency Analysis Platform

Concurrency Analysis Platform (CAP) is a set of tools built using a deterministic scheduler that has the capability of driving any user-mode program along an interleaving of choice. This determistic control enables a wide varieity of concurrency analysis tools.

Analysis Tools

  • CHESS: Unit testing for concurrency
  • Cuzz: Stress testing
  • Sober: Find memory consistency errors
  • FeatherLite: Lightweight data-race detection