diff --git a/Verification/scripts/FDSCases.bat b/Verification/scripts/DEPRECATED/FDSCases.bat
similarity index 100%
rename from Verification/scripts/FDSCases.bat
rename to Verification/scripts/DEPRECATED/FDSCases.bat
diff --git a/Verification/scripts/MakeFDSPictures.bat b/Verification/scripts/DEPRECATED/MakeFDSPictures.bat
similarity index 100%
rename from Verification/scripts/MakeFDSPictures.bat
rename to Verification/scripts/DEPRECATED/MakeFDSPictures.bat
diff --git a/Verification/scripts/MakeSmvPictures.bat b/Verification/scripts/DEPRECATED/MakeSmvPictures.bat
similarity index 100%
rename from Verification/scripts/MakeSmvPictures.bat
rename to Verification/scripts/DEPRECATED/MakeSmvPictures.bat
diff --git a/Verification/scripts/RunFDSCases.bat b/Verification/scripts/DEPRECATED/RunFDSCases.bat
similarity index 100%
rename from Verification/scripts/RunFDSCases.bat
rename to Verification/scripts/DEPRECATED/RunFDSCases.bat
diff --git a/Verification/scripts/RunSmvCases.bat b/Verification/scripts/DEPRECATED/RunSmvCases.bat
similarity index 100%
rename from Verification/scripts/RunSmvCases.bat
rename to Verification/scripts/DEPRECATED/RunSmvCases.bat
diff --git a/Verification/scripts/SmvCases.bat b/Verification/scripts/DEPRECATED/SmvCases.bat
similarity index 100%
rename from Verification/scripts/SmvCases.bat
rename to Verification/scripts/DEPRECATED/SmvCases.bat
diff --git a/Verification/scripts/background.bat b/Verification/scripts/DEPRECATED/background.bat
similarity index 100%
rename from Verification/scripts/background.bat
rename to Verification/scripts/DEPRECATED/background.bat