Report copyright - Model Checking UML Statecharts and Collaborations · But: UML vastly more expressive than target languages Use intermediate representation – (extended) hierarchical automata [Mikk
Please pass captcha verification before submit form