From 69b2cb9c60147bfa48aca844798e0d5753f0d874 Mon Sep 17 00:00:00 2001
From: Landon Taylor <landon@mossbiscuits.com>
Date: Fri, 13 Jun 2025 13:08:30 -0600
Subject: [PATCH] Add tools

---
 pmc.yml => mc.yml |  3 ++-
 prob.yml          | 59 +++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 61 insertions(+), 1 deletion(-)
 rename pmc.yml => mc.yml (93%)
 create mode 100644 prob.yml

diff --git a/pmc.yml b/mc.yml
similarity index 93%
rename from pmc.yml
rename to mc.yml
index 9cb3969..7fc9b9c 100644
--- a/pmc.yml
+++ b/mc.yml
@@ -9,4 +9,5 @@
   pages: 1-2
   publisher: x
   doi: x
-  url: x
\ No newline at end of file
+  url: x
+
diff --git a/prob.yml b/prob.yml
new file mode 100644
index 0000000..97cdbff
--- /dev/null
+++ b/prob.yml
@@ -0,0 +1,59 @@
+- key: x
+  title: x
+  author:
+    - y, x
+  year: 1
+  journal: x
+  booktitle: CONF 2000
+  volume: 1
+  pages: 1-2
+  publisher: x
+  doi: x
+  url: x
+
+- key: Hensel2022
+  title: The probabilistic model checker Storm
+  author:
+    - Hensel, Christian
+    - Junges, Sebastian
+    - Katoen, Joost-Pieter
+    - Quatmann, Tim
+    - Volk, Matthias
+  year: 2022
+  journal: International Journal on Software Tools for Technology Transfer
+  volume: 24
+  pages: 589-610
+  publisher: Springer
+  doi: 10.1007/s10009-021-00633-z
+
+- key: Jeppson2023
+  title: 'STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker'
+  author:
+    - Jeppson, Joshua
+    - Volk, Matthias
+    - Israelsen, Bryant
+    - Roberts, Riley
+    - Williams, Andrew
+    - Buecherl, Lukas
+    - Myers, Chris J.
+    - Zheng, Hao
+    - Winstead, Chris
+    - Zhang, Zhen
+  year: 2023
+  booktitle: QEST 2023
+  pages: 101-109
+  publisher: Springer
+  doi: 10.1007/978-3-031-43835-6_7
+
+- key: Kwiatkowska2011
+  title: 'PRISM 4.0: Verification of Probabilistic Real-time Systems'
+  author:
+    - Kwiatkowska, Marta
+    - Norman, Gethin
+    - Parker, David
+  year: 2011
+  booktitle: CAV 2011
+  volume: 6806
+  pages: 585-591
+  publisher: Springer
+  doi: 10.1007/978-3-642-22110-1_47
\ No newline at end of file