Typos

tools/mc/pdrlia.md

@@ -1,5 +1,5 @@
 +++
-title = ' PDR-LIA'
+title = 'PDR-LIA'
 subtitle = 'Reachability Analyzer'
 links = [	{ title = "Source Code", url = "https://github.com/akaydesai/PDR-LIA", icon = 'fa-solid fa-code' },
 ]

tools/mc/tina.md

@@ -0,0 +1,18 @@
++++
+title = 'TINA'
+subtitle = 'Petri Net Toolbox'
+links = [
+	{ title = "Homepage", url = "http://www.eecs.berkeley.edu/~alanmi/abc/", icon = 'fa-solid fa-home' },
+	{ title = "Source Code", url = "https://github.com/berkeley-abc/abc", icon = 'fa-solid fa-code' },
+]
+applications = ["Petri Nets"]
+developers = []
+licenses = ["All Rights Reserved"]
+inputs = []
+interfaces = ["CLI"]
+maintenance = ["Actively Maintained"]
+draft = false
+date = 2025-08-22
++++
+
+TINA (TIme petri Net Analyzer) is a toolbox for the editing and analysis of Petri Nets, with possibly inhibitor and read arcs, Time Petri Nets, with possibly priorities and stopwatches, and an extension of Time Petri Nets with data handling called Time Transition Systems. TINA has been developed in the OLC, then VerTICS, research groups of LAAS/CNRS. General Petri nets information can be found on the Petri Nets World site. 

tools/prob/infamy.md

@@ -1,14 +1,14 @@
 +++
 date = 2025-06-07
 draft = false
-title = ' INFAMY'
+title = 'INFAMY'
 subtitle = 'Quantitative Verification Tool'
 links = [
     { title = "Homepage", url = "https://depend.cs.uni-saarland.de/tools/infamy/", icon = 'fa-solid fa-home' },
     # { title = "Source Code", url = "https://github.com/prismmodelchecker/prism", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
-applications = ['Probabilistic Model Checking']
+applications = ['Probabilistic Model Checker']
 developers = ['Saarland University']
 licenses = ['All Rights Reserved']
 inputs = ['PRISM']

tools/prob/modest.md

@@ -1,7 +1,7 @@
 +++
 date = 2025-06-07
 draft = false
-title = ' The Modest Toolset'
+title = 'Modest Toolset'
 subtitle = 'Quantitative Verification Suite'
 links = [
     { title = "Homepage", url = "https://www.modestchecker.net/", icon = 'fa-solid fa-home' },

tools/prob/oris.md

@@ -1,7 +1,7 @@
 +++
 date = 2025-06-07
 draft = false
-title = ' ORIS Tool'
+title = 'ORIS Tool'
 subtitle = 'Petri Net Analysis'
 links = [
     { title = "Homepage", url = "https://www.oris-tool.org/", icon = 'fa-solid fa-home' },

tools/prob/param.md

@@ -1,14 +1,14 @@
 +++
 date = 2025-06-07
 draft = false
-title = ' PARAM'
+title = 'PARAM'
 subtitle = 'Quantitative Verification Tool'
 links = [
     { title = "Homepage", url = "https://depend.cs.uni-saarland.de/tools/param/", icon = 'fa-solid fa-home' },
     # { title = "Source Code", url = "https://github.com/prismmodelchecker/prism", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
-applications = ['Probabilistic Model Checking']
+applications = ['Probabilistic Model Checker']
 developers = ['Saarland University']
 licenses = ['All Rights Reserved']
 inputs = ['PRISM']

tools/prob/pass.md

@@ -1,7 +1,7 @@
 +++
 date = 2025-06-07
 draft = false
-title = ' PASS'
+title = 'PASS'
 subtitle = 'Quantitative Verification Tool'
 links = [
     { title = "Homepage", url = "https://depend.cs.uni-saarland.de/tools/pass/", icon = 'fa-solid fa-home' },

tools/prob/prohver.md

@@ -1,14 +1,14 @@
 +++
 date = 2025-06-07
 draft = false
-title = ' ProHVer'
+title = 'ProHVer'
 subtitle = 'Quantitative Verification Tool'
 links = [
     { title = "Homepage", url = "https://depend.cs.uni-saarland.de/tools/prohver/", icon = 'fa-solid fa-home' },
     # { title = "Source Code", url = "https://github.com/prismmodelchecker/prism", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
-applications = ['Probabilistic Model Checking']
+applications = ['Probabilistic Model Checker']
 developers = ['Saarland University']
 licenses = ['All Rights Reserved']
 inputs = ['PRISM']