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.