Behavioral Consistency Checker
BCC is a model checking based tool to check consistency of UML diagrams. It is developed within the ModelPlex project.
BCC is produced as LIP6 contribution within task 4.3, Model-Based Verification:
You can download and run BCC on your project from the download page.