Renamed validation to verification in READMEs

Author: AlexanderSchultheiss

INSTALL.md

@@ -36,20 +36,20 @@ To build the Docker container you can run the build script corresponding to your
   ./build.sh
 ```
 
-## Validation & Expected Output
+## Verification & Expected Output
 
-### Running the Validation
-To run the validation you can run the script corresponding to your OS with `validation` as first argument. The validation should take about 10-20 minutes depending on your hardware.
+### Running the Verification
+To run the verification you can run the script corresponding to your OS with `verification` as first argument. The verification should take about 10-20 minutes depending on your hardware.
 ```
 # Windows: 
-  .\execute.bat validation
+  .\execute.bat verification
 # Linux/Mac (bash): 
-  ./execute.sh validation
+  ./execute.sh verification
 ```
-The results of the validation will be stored in the [results](results) directory.
+The results of the verification will be stored in the [results](results) directory.
 
-### Expected Output of the Validation
-The aggregated results of the validation can be found in the following files.
+### Expected Output of the Verification
+The aggregated results of the verification can be found in the following files.
 
 - The [speed statistics](results/difftrees/speedstatistics.txt) contain information about the total runtime, median runtime, mean runtime, and more:
   ```
@@ -96,7 +96,7 @@ The aggregated results of the validation can be found in the following files.
   #Error[not all annotations closed]: 6
   ```
 
-(Note that the above links only have a target after running the validation.)
+(Note that the above links only have a target after running the verification.)
 The processing times might deviate.
 
 ## Troubleshooting
@@ -111,7 +111,7 @@ The processing times might deviate.
 
 `Fix:` Follow the instructions described above in the section `Build the Docker Container`.
 
-### No results after validation, or 'cannot create directory '../results/difftrees': Permission denied'
+### No results after verification, or 'cannot create directory '../results/difftrees': Permission denied'
 `Problem:` This problem can occur due to how permissions are managed inside the Docker container. More specifically, it will appear, if Docker is executed with elevated permissions (i.e., `sudo`) and if there is no [results](results) directory because it was deleted manually. In this case, Docker will create the directory with elevated permissions, and the Docker user has no permissions to access the directory.
 
 `Fix:` If there is a _results_ directory delete it with elevated permission (e.g., `sudo rm -r results`). 

README.md

@@ -45,7 +45,7 @@ To execute the replication you can run the _execute_ script corresponding to you
 
 > ! The replication will at least require an hour and might require up to a day depending on your system.
 > Therefore, we offer a short validation (5-10 minutes) which runs _DiffDetective_ on only four of the datasets.
-> You can run it by providing "validation" as argument instead of "replication" (i.e., ./execute.sh validation).
+> You can run it by providing "validation" as argument instead of "replication" (i.e., `./execute.sh verification`).
 > If you want to stop the replication, you can call the provided script for stopping the container. Note that you will have to restart the entire replication, if you stop it at any point.
 > #### Windows:
 > `.\stop-execution.bat`