Context-Bounded-Analysis Package

Language:
English
This package consists of a set of tools targeted at finding bugs in concurrent programs written in the Boogie input language. Last published: May 9, 2010.
  • Version:

    0.1

    File Name:

    Installer.msi

    Date Published:

    5/11/2016

    File Size:

    2.0 MB

      This package consists of a set of tools targeted at finding bugs in concurrent programs written in the Boogie input language. Context-Bounded-Analysis Package (CBAP) is based on static analysis; it attempts to find bugs without executing the program. CBAP performs a bounded exploration of the set of behaviors of the concurrent program. In particular, it only explores those behaviors where the number of context switches is bounded by a given constant. Under such a bound, CBAP is able to explore a large set of concurrent behaviors efficiently.
  • 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