Concurrency Sleuth

Language:
English
Concurrency Sleuth is a property checker for concurrent programs. Last published: August 28, 2012.
  • Version:

    1.1

    File Name:

    ConcurrencySleuth.msi

    Date Published:

    5/11/2016

    File Size:

    8.5 MB

      Concurrency Sleuth is a property checker for concurrent programs. It uses efficient, language-independent techniques to search the set of behaviors of a program for bugs. Currently, it supports only programs written in the C programming language.
  • Supported Operating System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit