Skip to content

1.1.0
Compare
Choose a tag to compare
@jsbezerra jsbezerra released this 10 May 20:30
· 339 commits to master since this release
1.1.0
66e8e57

Graphs:

  • Typed Graphs
  • Attributed Graphs

Approaches:

  • DPO
  • SqPO
  • AGREE

Features:

  • Critical Pairs Analysis
  • Critical Sequences Analysis
  • Concurrent Rules
    • by dependencies
    • with graph constraints
  • Second Order
    • Second Order conflicts
    • Interlevel Conflicts
    • Rule Transformation
  • Graph Processes
    • Test cases generation
  • Model Cheking
  • Theorem Proving

Interface:

  • Command Line Interface
  • Graphical User Interface
  • Web Service API
Assets 2
Loading