Fix #29

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']

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']

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']

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']

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']

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']

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']

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']

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']

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']

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']