UIMDRIVER: UML Interaction Model Driven Runtime Verification
Download Tool
Download case study 1
Download demo
Download User Manual