Robuta

https://inf.mit.bme.hu/research/publications/viatra-visual-automated-transformations-formal-verification-and-validation-uml VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models |... verification and validation viatra visual automated transformations