Graph transformation, model transformation, object-oriented verification, behavioural semantics


  • Rapid prototyping
  • Graph Transformation
  • State Space Exploration
  • Model Checking

Project Samples

Project Activity

See All Activity >

Follow Groove

Groove Web Site

Other Useful Business Software

Multi-vendor storage monitoring simplified Multi-vendor storage monitoring simplified Icon
Multi-vendor storage monitoring simplified Icon

Monitor your multi-vendor storage to help ensure your applications get the performance & capacity they need with SolarWinds® Storage Resource Monitor.

SolarWinds Storage Resource Monitor (SRM) gives you multi-vendor storage performance monitoring and alerting to help ensure peak storage performance. Automated capacity planning helps you predict storage shortages, reclaim space, and prevent application outages. SRM integrates with other Orion® Platform products to provide end-to-end visibility into the application stack, and lets you easily troubleshoot performance issues from application to storage.

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of Groove!

Additional Project Details



Intended Audience

Information Technology, Science/Research

User Interface

X Window System (X11), Win32 (MS Windows)

Programming Language