Consistency Checking UML Interactions and State Machines

Limitations Relating to STAIRS Other consistency checking frameworks The consistency checker plugin Experiment results Future work Inconsistency analysis and handling - The plu- plu-gin specic codeplu-gin specic code Consistency checking - The consistency algo- algo-rithm codealgo-rithm code