Repositories list

• verigraph

  Public
  Software specification and verification system based on graph rewriting

  graphcategory-theorygraph-grammars+ 4graph-transformation-systemsverigraphhaskellverification

  Haskell

  •

  Apache License 2.0

  •4•37•35•1•Updated Nov 9, 2022Nov 9, 2022

• case-studies

  Public
  Java

  •0•0•0•0•Updated Feb 28, 2019Feb 28, 2019

• LTSExtractor.extension

  Public
  Extension for the LTS Extractor platform, which is used for enabling the communication with the methods for generating model analysis, and to ease the management of log files throughout the platform.

  javaguitravis-ci+ 6code-analysislatex-templatejframeltsetxlibmodel-extracion

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Nov 19, 2018Nov 19, 2018

• verigraph-tutorial

  Public
  Installation and usage tutorial for Verigraph

  verigraph

  TeX

  •0•0•0•0•Updated Jun 26, 2017Jun 26, 2017

• verigraph-docs

  Public
  Verigraph Internal Documentation

  verigraph

  HTML

  •

  Apache License 2.0

  •1•0•0•0•Updated May 14, 2017May 14, 2017

• presentations

  Public
  TeX

  •0•0•0•0•Updated May 7, 2017May 7, 2017