• 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...