Skip to content

1.1.1: Fix `findCospanCommuter`

Latest
Latest
Compare
Choose a tag to compare
@lm-rodrigues lm-rodrigues released this 14 May 00:29
· 339 commits to master since this release
1.1.1
This tag was signed with the committer’s verified signature.
lm-rodrigues Leonardo Marques Rodrigues
GPG key ID: DB718A42AE4F932A
Learn about vigilant mode.
ba83f4b
This commit was signed with the committer’s verified signature.
lm-rodrigues Leonardo Marques Rodrigues
GPG key ID: DB718A42AE4F932A
Learn about vigilant mode.

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