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

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

Software specification and verification tool based on graph rewriting.

Modules