diff --git a/src/main/java/at/jku/cps/travart/core/verify/UVLVerifier.java b/src/main/java/at/jku/cps/travart/core/verify/UVLVerifier.java
index fe122dd..6ab8a33 100644
--- a/src/main/java/at/jku/cps/travart/core/verify/UVLVerifier.java
+++ b/src/main/java/at/jku/cps/travart/core/verify/UVLVerifier.java
@@ -57,11 +57,14 @@ private UVLVerifier() {
 	}
 
 	/**
-	 * verifies if the
+	 * verifies if the two passed UVL models are logically equivalent and therefore have the same
+  	 * configuration space. Requires that features in the models have the same names.
 	 * 
-	 * @param fm1
-	 * @param fm2
-	 * @return
+	 * @param fm1 The first model
+	 * @param fm2 the second model 
+	 * @return returns true if the verification was successful. Throws a VerificationException if the verification
+  	 * 		failed containing the logic formulas for both models, and a configuration that leads to an un-equal
+    	 * 		configuration state for both models.
 	 */
 	public static boolean verify(FeatureModel fm1, FeatureModel fm2) throws VerificationException {
 		if (!equals(fm1, fm2)) {