verigraph-1.1.1: Software specification and verification tool based on graph rewriting.

Modules

• Abstract
  • Abstract.AdhesiveHLR
  • Abstract.Cardinality
  • Abstract.Cocomplete
  • Abstract.Complete
  • Abstract.Constraint
  •  Abstract.DPO
    • Abstract.DPO.Process
    • Abstract.DPO.StateSpace Utilities for exploring the state space of DPO-based High-Level Replacement Systems.
  • Abstract.Morphism
  • Abstract.Relation
  • Abstract.Valid
• Analysis
  • Analysis.ConcurrentRules
  • Analysis.CriticalPairs
  • Analysis.CriticalSequence
  • Analysis.EssentialCriticalPairs
  • Interlevel
    • Analysis.Interlevel.EvolutionarySpans Implements the evolutionary spans of match overlaps inter-level conflict.
    • Analysis.Interlevel.InterLevelCP Implements the inter-level critical pairs
  • Analysis.ParallelIndependent
  • Analysis.Processes
• Grammar
  • Grammar.Core Grammar structure.
• Graph
  • Graph.Graph
  • Graph.GraphMorphism
  • Graph.QuickCheck
• Image
  • Image.Dot
• Logic
  • Logic.Ctl Syntax and model checking for CTL.
  • Logic.Model Data structures that represent models of temporal logic.
• SndOrder
  •  SndOrder.Morphism
    • SndOrder.Morphism.NACmanipulation
  • SndOrder.Rule
• TypedGraph
  • DPO
    • TypedGraph.DPO.GraphProcess
    • TypedGraph.DPO.GraphRule
    • TypedGraph.DPO.OccurenceRelation
  • TypedGraph.Graph
  • TypedGraph.Morphism
• XML
  • XML.GGXReader
  • XML.GGXWriter