Groove 4.7.1

By: Groove
Version: 4.7.1

Downloads:0

Hits:566

SourceNO

Link Broken:Report It!

Package:Without source

Price:$0

More info Download

Description

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

  • Graph Transformation
  • State Space Exploration
  • Model Checking
  • Related:

    User Reviews:

    Write Review *
    Your name *
    Email *
    (Your comments will be reviewed by our staff before they are posted)
    Rate this product *
    Captcha Image
    Enter code from image *

     

    Related: