Compare commits
2 Commits
53ef57d58c
...
main
| Author | SHA1 | Date | |
|---|---|---|---|
| 69b2cb9c60 | |||
| eb77db514a |
@@ -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"
|
|
||||||
@@ -1,10 +0,0 @@
|
|||||||
- 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
|
|
||||||
@@ -1,14 +0,0 @@
|
|||||||
- 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
|
|
||||||
# url: https://doi.org/10.3233/sat190101
|
|
||||||
doi: 10.3233/sat190101
|
|
||||||
@@ -1,12 +0,0 @@
|
|||||||
- 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
|
|
||||||
45
cvc.yaml
45
cvc.yaml
@@ -1,45 +0,0 @@
|
|||||||
- 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: Barrett2011
|
|
||||||
title: 'CVC4'
|
|
||||||
author:
|
|
||||||
- Barrett, Clark W.
|
|
||||||
- Conway, Christopher L.
|
|
||||||
- Deters, Morgan
|
|
||||||
- Hadarean, Liana
|
|
||||||
- Jovanovic, Dejan
|
|
||||||
- King, Tim
|
|
||||||
- Reynolds, Andrew
|
|
||||||
- Tinelli, Cesare
|
|
||||||
year: 2011
|
|
||||||
booktitle: 'Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings'
|
|
||||||
series: Lecture Notes in Computer Science
|
|
||||||
volume: 6806
|
|
||||||
pages: 171-177
|
|
||||||
publisher: Springer
|
|
||||||
doi: 10.1007/978-3-642-22110-1_14
|
|
||||||
url: https://doi.org/10.1007/978-3-642-22110-1_14
|
|
||||||
13
mc.yml
Normal file
13
mc.yml
Normal file
@@ -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
|
||||||
|
|
||||||
@@ -1,15 +0,0 @@
|
|||||||
- key: Osama2024
|
|
||||||
title: Certified SAT solving with GPU accelerated inprocessing
|
|
||||||
author:
|
|
||||||
- Osama, Muhammad
|
|
||||||
- Wijs, Anton
|
|
||||||
- Biere, Armin
|
|
||||||
year: 2024
|
|
||||||
# journal: x
|
|
||||||
booktitle: FMSD 2024
|
|
||||||
volume: 62
|
|
||||||
pages: 79-118
|
|
||||||
publisher: Springer
|
|
||||||
doi: 10.1007/s10703-023-00432-z
|
|
||||||
# url: x
|
|
||||||
|
|
||||||
59
prob.yml
Normal file
59
prob.yml
Normal file
@@ -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
|
||||||
13
q3b.yaml
13
q3b.yaml
@@ -1,13 +0,0 @@
|
|||||||
- key: Jonas2016
|
|
||||||
title: Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
|
|
||||||
author:
|
|
||||||
- Jonáš, Martin
|
|
||||||
- Strejček, Jan
|
|
||||||
year: 2016
|
|
||||||
# journal: x
|
|
||||||
booktitle: SAT 2016
|
|
||||||
# volume: 1
|
|
||||||
pages: 267-283
|
|
||||||
publisher: Springer
|
|
||||||
doi: 10.1007/978-3-319-40970-2_17
|
|
||||||
# url: x
|
|
||||||
198
sat-smt.yml
Normal file
198
sat-smt.yml
Normal file
@@ -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
|
||||||
|
|
||||||
13
smt-rat.yaml
13
smt-rat.yaml
@@ -1,13 +0,0 @@
|
|||||||
- 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
|
|
||||||
@@ -1,9 +0,0 @@
|
|||||||
- 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"
|
|
||||||
24
stp.yaml
24
stp.yaml
@@ -1,24 +0,0 @@
|
|||||||
- 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: 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
|
|
||||||
10
verit.yaml
10
verit.yaml
@@ -1,10 +0,0 @@
|
|||||||
- 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
|
|
||||||
15
yices.yaml
15
yices.yaml
@@ -1,15 +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
|
|
||||||
doi: 10.1007/978-3-319-08867-9_49
|
|
||||||
13
z3.yaml
13
z3.yaml
@@ -1,13 +0,0 @@
|
|||||||
- 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
|
|
||||||
Reference in New Issue
Block a user