diff --git a/tools/mc/concuerror.md b/tools/mc/concuerror.md
index 699359e..f162e02 100644
--- a/tools/mc/concuerror.md
+++ b/tools/mc/concuerror.md
@@ -10,7 +10,7 @@ links = [
 ]
 applications = ['Model Checker']
 developers = ['Uppsala University']
-licenses = ['BSD']
+licenses = ['BSD-2-Clause']
 # inputs = ['Sally']
 # interfaces = ['CLI']
 maintenance = ['Actively Maintained']
diff --git a/tools/mc/intrepyd.md b/tools/mc/intrepyd.md
index f9520e8..d52b43a 100644
--- a/tools/mc/intrepyd.md
+++ b/tools/mc/intrepyd.md
@@ -10,7 +10,7 @@ links = [
 ]
 applications = ['Model Checker']
 # developers = ['']
-licenses = ['BSD']
+licenses = ['BSD-3-Clause']
 # inputs = ['Sally']
 # interfaces = ['CLI']
 maintenance = ['Not Maintained']
diff --git a/tools/mc/ltsmin.md b/tools/mc/ltsmin.md
index 0db31f5..0a81970 100644
--- a/tools/mc/ltsmin.md
+++ b/tools/mc/ltsmin.md
@@ -10,7 +10,7 @@ links = [
 ]
 applications = ['Model Checker']
 developers = ['University of Twente']
-licenses = ['BSD']
+licenses = ['BSD-3-Clause']
 # inputs = ['Sally']
 # interfaces = ['CLI']
 maintenance = ['Actively Maintained']
diff --git a/tools/mc/pnmc.md b/tools/mc/pnmc.md
index 51fe779..328155a 100644
--- a/tools/mc/pnmc.md
+++ b/tools/mc/pnmc.md
@@ -10,7 +10,7 @@ links = [
 ]
 applications = ['Model Checker']
 # developers = ['University of Twente']
-licenses = ['BSD']
+licenses = ['BSD-2-Clause']
 # inputs = ['Sally']
 # interfaces = ['CLI']
 maintenance = ['Actively Maintained']
diff --git a/tools/mc/tapaal.md b/tools/mc/tapaal.md
index 5cb4f4b..a524d6a 100644
--- a/tools/mc/tapaal.md
+++ b/tools/mc/tapaal.md
@@ -10,7 +10,7 @@ links = [
 ]
 applications = ['Model Checker']
 developers = ['Aalborg University']
-licenses = ['Open Source 3.0', 'BSD', 'GPLv2']
+licenses = ['GPL-2.0']
 # inputs = ['Sally']
 # interfaces = ['CLI']
 maintenance = ['Actively Maintained']
diff --git a/tools/mod/tlaplus.md b/tools/mod/tlaplus.md
index 83cf3d1..b4202ba 100644
--- a/tools/mod/tlaplus.md
+++ b/tools/mod/tlaplus.md
@@ -10,7 +10,7 @@ links = [
 ]
 applications = ['Modeling Language']
 developers = [' Leslie Lamport']
-licenses = ['Open Source 3.0', 'BSD', 'GPLv2']
+licenses = []
 # inputs = ['Sally']
 # interfaces = ['CLI']
 maintenance = ['Actively Maintained']
diff --git a/tools/sat-smt/cvc4.md b/tools/sat-smt/cvc4.md
index f2f661c..d03ef93 100644
--- a/tools/sat-smt/cvc4.md
+++ b/tools/sat-smt/cvc4.md
@@ -10,7 +10,7 @@ links = [
 ]
 applications = ['SMT Solver', 'Theorem Prover']
 developers = ['Stanford University', 'University of Iowa']
-licenses = ['BSD']
+licenses = ['BSD-3-Clause']
 inputs = ['SMTLIB2']
 interfaces = ['CLI', 'Online']
 maintenance = ['Not Maintained']
diff --git a/tools/sat-smt/cvc5.md b/tools/sat-smt/cvc5.md
index aabca82..9ca777f 100644
--- a/tools/sat-smt/cvc5.md
+++ b/tools/sat-smt/cvc5.md
@@ -10,7 +10,7 @@ links = [
 ]
 applications = ['SMT Solver', 'Theorem Prover']
 developers = ['Stanford University', 'University of Iowa']
-licenses = ['BSD']
+licenses = ['BSD-3-Clause']
 inputs = ['SMTLIB2']
 interfaces = ['CLI', 'Online']
 maintenance = ['Actively Maintained']
diff --git a/tools/sat-smt/vampire.md b/tools/sat-smt/vampire.md
index eba9927..3fa37ca 100644
--- a/tools/sat-smt/vampire.md
+++ b/tools/sat-smt/vampire.md
@@ -10,7 +10,7 @@ links = [
 ]
 applications = ['Theorem Prover']
 developers = ['TU Wien']
-licenses = ['BSD']
+licenses = ['BSD-3-Clause']
 # inputs = ['']
 interfaces = ['CLI']
 maintenance = ['Actively Maintained']
diff --git a/tools/sat-smt/verit.md b/tools/sat-smt/verit.md
index a647c84..ce04ea5 100644
--- a/tools/sat-smt/verit.md
+++ b/tools/sat-smt/verit.md
@@ -13,7 +13,7 @@ links = [
 
 applications = ['SMT Solver']
 developers = ['LORIA', 'ULiege']
-licenses = ['BSD']
+licenses = ['BSD-2-Clause']
 inputs = ['SMTLIB2', 'DIMACS']
 interfaces = ['CLI']
 maintenance = ['Actively Maintained']
diff --git a/tools/sat-smt/zipperposition.md b/tools/sat-smt/zipperposition.md
index 76db8cd..fd2b02b 100644
--- a/tools/sat-smt/zipperposition.md
+++ b/tools/sat-smt/zipperposition.md
@@ -10,7 +10,7 @@ links = [
 ]
 applications = ['Theorem Prover']
 developers = ['TU Wien']
-licenses = ['BSD']
+licenses = ['BSD-2-Clause']
 # inputs = ['']
 interfaces = ['CLI']
 maintenance = ['Actively Maintained']