Groove Icon

Groove

Add a Review
21 Downloads (This Week)
Last Update:
Download groove-4_9_3-bin.zip
Browse All Files

Description

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

Groove Web Site

Features

  • Graph Transformation
  • State Space Exploration
  • Model Checking

Update Notifications





Write a Review

User Reviews

Be the first to post a review of Groove!

Additional Project Details

Languages

English

Intended Audience

Information Technology, Science/Research

User Interface

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

Programming Language

Java

Registered

2004-09-14
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.