fmtools/content
1
0
Fork 0
Code Issues 15 Pull Requests Actions Packages Releases Wiki Activity

Typos

Browse Source
This commit is contained in:
Landon Taylor
2026-03-24 11:51:58 -06:00
parent 6acf2ac777
commit fd27d23a92
7 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/prob/infamy.md
+1 -1
View File
@@ -8,7 +8,7 @@ links = [
# { title = "Source Code", url = "https://github.com/prismmodelchecker/prism", icon = 'fa-solid fa-code' }, # { 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' } # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
] ]
applications = ['Probabilistic Model Checking'] applications = ['Probabilistic Model Checker']
developers = ['Saarland University'] developers = ['Saarland University']
licenses = ['All Rights Reserved'] licenses = ['All Rights Reserved']
inputs = ['PRISM'] inputs = ['PRISM']
tools/prob/modest.md
+1 -1
View File
@@ -1,7 +1,7 @@
+++ +++
date = 2025-06-07 date = 2025-06-07
draft = false draft = false
title = ' The Modest Toolset' title = 'Modest Toolset'
subtitle = 'Quantitative Verification Suite' subtitle = 'Quantitative Verification Suite'
links = [ links = [
{ title = "Homepage", url = "https://www.modestchecker.net/", icon = 'fa-solid fa-home' }, { title = "Homepage", url = "https://www.modestchecker.net/", icon = 'fa-solid fa-home' },
tools/prob/param.md
+1 -1
View File
@@ -8,7 +8,7 @@ links = [
# { title = "Source Code", url = "https://github.com/prismmodelchecker/prism", icon = 'fa-solid fa-code' }, # { 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' } # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
] ]
applications = ['Probabilistic Model Checking'] applications = ['Probabilistic Model Checker']
developers = ['Saarland University'] developers = ['Saarland University']
licenses = ['All Rights Reserved'] licenses = ['All Rights Reserved']
inputs = ['PRISM'] inputs = ['PRISM']
tools/prob/prohver.md
+1 -1
View File
@@ -8,7 +8,7 @@ links = [
# { title = "Source Code", url = "https://github.com/prismmodelchecker/prism", icon = 'fa-solid fa-code' }, # { 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' } # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
] ]
applications = ['Probabilistic Model Checking'] applications = ['Probabilistic Model Checker']
developers = ['Saarland University'] developers = ['Saarland University']
licenses = ['All Rights Reserved'] licenses = ['All Rights Reserved']
inputs = ['PRISM'] inputs = ['PRISM']