Groove
Description
Graph transformation, model transformation, object-oriented verification, behavioural semantics
Categories
License
Features
- Graph Transformation
- State Space Exploration
- Model Checking
Update Notifications
User Ratings
User Reviews
Be the first to post a review of Groove!