Add tools

Taylor2023.yaml

@@ -1,34 +0,0 @@
-- key: Taylor2023
-  author:
-    - Taylor, Landon
-    - Israelsen, Bryant
-    - Zhang, Zhen
-  booktitle: Formal Methods in Computer-Aided Design
-  copyright: http://creativecommons.org/licenses/by/4.0/
-  doi: 10.34727/2023/isbn.978-3-85448-060-0_37
-  isbn: 978-3-85448-060-0
-  langid: english
-  month: October
-  pages: 284--293
-  publisher: TU Wien Academic Press
-  shorttitle: Cycle and Commute
-  title: "Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks"
-  urldate: 2023-11-08
-  year: "2023"
-- key: Taylor2027
-  author:
-    - Taylor, Landon
-    - Israelsen, Bryant
-    - Zhang, Zhen
-  booktitle: Formal Methods in Computer-Aided Design
-  copyright: http://creativecommons.org/licenses/by/4.0/
-  doi: 10.34727/2023/isbn.978-3-85448-060-0_37
-  isbn: 978-3-85448-060-0
-  langid: english
-  month: October
-  pages: 284--293
-  publisher: TU Wien Academic Press
-  shorttitle: Cycle and Commute
-  title: "Cycle and Commute: Ra45645646546re-Event Probability Verification for Chemical Reaction Networks"
-  urldate: 2023-11-08
-  year: "2023"

mc.yml

@@ -0,0 +1,13 @@
+- 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
+

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

sat-smt.yml

@@ -0,0 +1,198 @@
+
+- key: Barrett2011
+  title: 'CVC4'
+  author:
+    - Barrett, Clark W.
+    - Conway, Christopher L.
+    - Deters, Morgan
+    - Hadarean, Liana
+    - Jovanovic, Dejan
+    - King, Tim
+    - Reynolds, Andrew
+    - Tinelli, Cesare
+  year: 2011
+  month: July
+  booktitle: CAV 2011
+  series: Lecture Notes in Computer Science
+  volume: 6806
+  pages: 171-177
+  publisher: Springer
+  doi: 10.1007/978-3-642-22110-1_14
+
+- key: Barbosa2022
+  title: 'cvc5: A Versatile and Industrial-Strength SMT Solver'
+  author:
+    - Barbosa, Haniel
+    - Barrett, Clark W.
+    - Brain, Martin
+    - Kremer, Gereon
+    - Lachnitt, Hanna
+    - Mann, Makai
+    - Mohamed, Abdalrhman
+    - Mohamed, Mudathir
+    - Niemetz, Aina
+    - Nötzli, Andres
+    - Ozdemir, Alex
+    - Preiner, Mathias
+    - Reynolds, Andrew
+    - Sheng, Ying
+    - Tinelli, Cesare
+    - Zohar, Yoni
+  year: 2022
+  booktitle: TACAS 2022
+  pages: 415-442
+  publisher: Springer
+  doi: 10.1007/978-3-030-99524-9_24
+
+- key: Cadar2006
+  title: 'EXE: Automatically Generating Inputs of Death'
+  author:
+    - Cadar, Cristian
+    - Ganesh, Vijay
+    - Pawlowski, Peter
+    - Engler, Dawson
+    - Dill, David
+  year: 2006
+  booktitle: CCS 2006
+  month: October
+  publisher: ACM
+  doi: 10.1145/1455518.1455522
+
+- key: Corzilius2015
+  title: "SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving"
+  author:
+    - Corzilius, Florian
+    - Kremer, Gereon
+    - Junges, Sebastian
+    - Schupp, Stefan
+    - 'Ábrahám, Erika'
+  year: 2015
+  booktitle: "SAT 2015"
+  pages: 360-368
+  publisher: Springer
+  doi: 10.1007/978-3-319-24318-4_26
+
+- key: deMoura2008
+  author:
+    - de Moura, Leonardo
+    - Bjørner, Nikolaj
+  booktitle: TACAS 2008
+  copyright: https://www.microsoft.com/en-us/research/publication/z3-an-efficient-smt-solver/
+  doi: 10.1007/978-3-540-78800-3_24
+  langid: english
+  publisher: Springer, Berlin, Heidelberg
+  shorttitle: Z3 SMT Solver
+  title: "Z3: An Efficient SMT Solver"
+  month: March
+  year: 2008
+
+- key: Dutertre2014
+  author:
+    - Dutertre, Bruno
+  title: "Yices 2.2"
+  booktitle: Computer-Aided Verification
+  editor:
+    - Biere, Armin
+    - Bloem, Roderick
+  year: 2014
+  volume: 8559
+  series: Lecture Notes in Computer Science
+  pages: 737-744
+  month: July
+  publisher: Springer
+  doi: 10.1007/978-3-319-08867-9_49
+
+- key: Ganesh2007
+  title: 'A Decision Procedure for Bit-Vectors and Arrays'
+  author:
+    - Ganesh, Vijay
+    - Dill, David L.
+  year: 2007
+  booktitle: CAV 2007
+  month: July
+  publisher: Springer
+  doi: 10.1007/978-3-540-73368-3_52
+
+- key: Henkel2021
+  title: Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality
+  author:
+    - Henkel, Elisabeth
+    - Hoenicke, Jochen
+    - Schindler, Tanja
+  year: 2021
+  booktitle: SMT 2021
+  url: "https://ceur-ws.org/Vol-2908/short12.pdf"
+
+- key: Jonas2016
+  title: Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
+  author:
+    - Jonáš, Martin
+    - Strejček, Jan
+  year: 2016
+  booktitle: SAT 2016
+  pages: 267-283
+  publisher: Springer
+  doi: 10.1007/978-3-319-40970-2_17
+
+- key: Niemetz2014
+  type: article
+  authors:
+    - Aina Niemetz
+    - Mathias Preiner
+    - Armin Biere
+  title: Boolector 2.0
+  journal: J. Satisf. Boolean Model. Comput.
+  volume: 9
+  number: 1
+  pages: 53-58
+  year: 2014
+  doi: 10.3233/sat190101
+
+- key: Niemetz2023
+  author:
+    - Aina Niemetz
+    - Mathias Preiner
+  title: Bitwuzla
+  booktitle: CAV 2023
+  pages: 3-17
+  publisher: Springer
+  year: 2023
+  doi: 10.1007/978-3-031-37703-7_1
+
+- key: Osama2024
+  title: Certified SAT solving with GPU accelerated inprocessing
+  author:
+    - Osama, Muhammad
+    - Wijs, Anton 
+    - Biere, Armin
+  year: 2024
+  booktitle: FMSD 2024
+  volume: 62
+  pages: 79-118
+  publisher: Springer
+  doi: 10.1007/s10703-023-00432-z
+
+- key: Schurr2021
+  title: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant 
+  author:
+    - Schurr, Hans-Jörg 
+    - Fleury, Mathias 
+    - Desharnais, Martin
+  year: 2021
+  booktitle: CADE 2021
+  doi: 10.1007/978-3-030-79876-5_26
+  publisher: Springer
+
+- key: Soos2009
+  title: Extending SAT Solvers to Cryptographic Problems
+  author:
+    - Mate Soos
+    - Karsten Nohl
+    - Claude Castelluccia
+  booktitle: SAT 2009
+  volume: 5584
+  pages: 244-257
+  publisher: Springer
+  year: 2009
+  doi: 10.1007/978-3-642-02777-2_24
+

template.yml

@@ -0,0 +1,12 @@
+- 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

yices.yaml

@@ -1,14 +0,0 @@
-- key: Dutertre2014
-  author:
-    - Dutertre, Bruno
-  title: "Yices 2.2"
-  booktitle: Computer-Aided Verification
-  editor:
-    - Biere, Armin
-    - Bloem, Roderick
-  year: 2014
-  volume: 8559
-  series: Lecture Notes in Computer Science
-  pages: 737-744
-  month: July
-  publisher: Springer

z3.yaml

@@ -1,13 +0,0 @@
-- key: deMoura2008
-  author:
-    - de Moura, Leonardo
-    - Bjørner, Nikolaj
-  booktitle: TACAS
-  copyright: https://www.microsoft.com/en-us/research/publication/z3-an-efficient-smt-solver/
-  doi: 10.1007/978-3-540-78800-3_24
-  langid: english
-  publisher: Springer, Berlin, Heidelberg
-  shorttitle: Z3 SMT Solver
-  title: "Z3: An Efficient SMT Solver"
-  month: March
-  year: 2008