Results 1 to 9 of 9
Sort by:

  • AGG
  • Referenced in 50 articles [sw04449]
  • Attributed Graph Grammar System: AGG is a general development environment for algebraic graph transformation systems ... comes from a very flexible attribution concept. AGG graphs are allowed to be attributed ... objects described by a Java expression. The AGG environment consists of a graphical user interface ... rule applications as long as possible. AGG supports several kinds of validations which comprise graph...

  • GrGen
  • Referenced in 21 articles [sw00387]
  • GrGen.NET is a programming tool for graph transformation...

  • SPIN
  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...

  • Bogor
  • Referenced in 36 articles [sw06858]
  • Building your own software model checker using the...

  • Bandera
  • Referenced in 134 articles [sw07663]
  • Using the Bandera tool set to model-check...

  • CheckVML
  • Referenced in 12 articles [sw09472]
  • CheckVML: A Tool for Model Checking Visual Modeling...

  • GROOVE
  • Referenced in 51 articles [sw09480]
  • GRaphs for Object-Oriented VErification (GROOVE). GROOVE is...