DAMAGEBDD has a whole lot of products/packages under its But in general DAMAGEBDD is a tool used for any level of testing which gives Behaviour verified results and is more accurate than any other tool