2
Repos
37
Stars
5
Forks
37
Watchers
Repositories (2)
verigraph
Verites/verigraph
Haskell
Software specification and verification system based on graph rewriting
37
5
LTSExtractor.extension
Verites/LTSExtractor.extension
Java
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.
0
0