UnCoVer (Using Coverability for Verification)
|
![]() ![]() | The main namespace for the Uncover tool |
![]() ![]() ![]() | This namespace is a collection of all classes specifically used for the (backwards) analysis |
![]() ![]() ![]() | Contains a collection of general classes used through out the tool |
![]() ![]() ![]() | Contains all classes and definitions for graphs, mappings between graphs, rules and graph transformation systems |
![]() ![]() ![]() | Contains all classes and definitions used for importing and exporting graphs and graph transformation systems in any way |
![]() ![]() ![]() | Contains classes used for handling logging |
![]() ![]() ![]() | Contains implementations of classes from the uncover::analysis namespace for the minor ordering |
![]() ![]() ![]() | Contains basic classes for applying rules |
![]() ![]() ![]() | Contains all Scenarios predefined for this tool |
![]() ![]() ![]() | Contains implementations of classes from the uncover::analysis namespace for the subgraph ordering |
![]() ![]() ![]() | Contains a collection of unit tests for testing this tools functionality |