Compare commits
1 Commits
d29e2086dd
...
b6cc09e6e1
Author | SHA1 | Date | |
---|---|---|---|
b6cc09e6e1 |
@@ -2,6 +2,7 @@
|
||||
title = 'The Ultimate Formal Methods Toolbox'
|
||||
subtitle = 'Discover, Explore, and Contribute to the World’s Largest Collection of Formal Methods Tools'
|
||||
# date = 2023-01-01T08:00:00-07:00
|
||||
date = 2025-06-07
|
||||
# draft = false
|
||||
+++
|
||||
|
||||
|
1
about.md
1
about.md
@@ -1,6 +1,7 @@
|
||||
+++
|
||||
title = 'About'
|
||||
subtitle = 'Learn more about the Formal Methods Tools project'
|
||||
date = 2025-06-07
|
||||
+++
|
||||
|
||||
|
||||
|
@@ -1,5 +1,6 @@
|
||||
+++
|
||||
title = 'Contribute'
|
||||
date = 2025-06-07
|
||||
+++
|
||||
|
||||
Instructions coming soon. Please see https://gitmoss.fyi/fmtools/content/wiki/Contribute for temporary instructions.
|
||||
|
@@ -1,6 +1,7 @@
|
||||
+++
|
||||
title = 'MIT License'
|
||||
subtitle = 'Open-Source and Free to Use'
|
||||
date = 2025-06-07
|
||||
+++
|
||||
|
||||
MIT License
|
||||
|
@@ -1,6 +1,7 @@
|
||||
+++
|
||||
title = 'Privacy'
|
||||
subtitle = "tl;dr: I won't know you were here."
|
||||
date = 2025-06-07
|
||||
+++
|
||||
|
||||
This website does not collect or track any personal data from visitors. No cookies, personalized analytics, or tracking scripts are used. No ads are shown on this website, and there is no money to be made from this project.
|
||||
|
@@ -2,7 +2,7 @@
|
||||
date = 2025-06-07
|
||||
draft = false
|
||||
title = 'COMICS'
|
||||
subtitle = 'Probabilistic Model Checker'
|
||||
subtitle = 'DTMC Counterexample Generator'
|
||||
links = [
|
||||
{ title = "Homepage", url = "https://ths.rwth-aachen.de/research/tools/comics/", icon = 'fa-solid fa-home' },
|
||||
# { title = "Source Code", url = "https://github.com/moves-rwth/storm", icon = 'fa-brands fa-github' },
|
||||
|
Reference in New Issue
Block a user