Changes between Version 26 and Version 27 of MoMoC

Timestamp:

Jan 28, 2020, 6:09:32 AM (5 years ago)

Author:

5willrod

Comment:

--

MoMoC

@@ -109 +109 @@
 == Results
 
+The following images show exemplary result panels of the same query with opened reachability graphs.
+The left side of the result panel shows a hierarchical view of the normalized formula, the right side displays information that the procedure returned.
+Below the result panel is the according reachability graph.
+The nodes are colored with respect to the selected subformula in the result panel.
+In green nodes, the selected formula yields, while in red nodes it does not.
+The initial node is indicated by a strong red or green filling.
+
+[[Image(RPS-Result1.png)]] [[Image(RPS-Result2.png)]]
+
 = Developer Guide