Differences

This shows you the differences between two versions of the page.

--- release [2020/11/18 19:22] – [How to use the tool] conan
+++ release [2020/11/18 19:30] (current) – [Simple case study] conan
@@ Line 60: / Line 60: @@
 <code java>
-D{3,0} [F (s=2 | s=3)]
+e = 2.71828183
+D{log(3,e),0} [F (s=2 | s=3)]
+D{log(4,e),0} [F (s=2 | s=3)]
 </code>
+The second property with $\epsilon = \ln 4$ is the only one to be satisfied.