UnCoVer (Using Coverability for Verification)
|
Contains all Scenarios predefined for this tool. More...
Classes | |
class | BackwardAnalysisScenario |
This Scenario performs a backward analysis according to the provided parameters. More... | |
class | BackwardStepTest |
This test scenario takes a given set of rules and a given set of error graphs and performs a single backward step, including rule preparation. More... | |
class | GTXLtoLatexConverter |
Use this Scenario to create a graphical representation of the given GTXL file. More... | |
class | GXLtoPicConverter |
This Scenario takes a GXL file and converts the encoded Hypergraphs first to a 'dot' file and then to the set file format using neato. More... | |
class | LeaderElectionRuleCreater |
When called this Scenario generates the GTS for the leader election example. More... | |
class | LEQCheckScenario |
This Scenario allows to check whether graphs of a given set are represented by another given, upward-closed set. More... | |
class | MatcherScenario |
This scenario takes two sets of graphs and computes all matching from one set to the other. More... | |
class | RulePreparerTest |
This scenario tests the rule preparation functionality. More... | |
class | ScenarioLoader |
This class generates Scenario object from their string identifier (without initializing them). More... | |
class | XMLTestScenario |
This Scenario tests the GTXLReader and GTXLWriter classes on correctness. More... | |
Contains all Scenarios predefined for this tool.