FLUENT Verification Project
FLUENT Verification Project
People
Events
Publications
Contact
Light
Dark
Automatic
Publications
Type
Conference paper
Journal article
Date
2022
2021
2019
Riley Roberts
,
Thakur Neupane
,
Lukas Buecherl
,
Chris J. Myers
,
Zhen Zhang
(2022).
STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking
. At
VMCAI 2022
.
Cite
DOI
Lukas Buecherl
,
Riley Roberts
,
Pedro Fontanarrosa
,
Payton J. Thomas
,
Jeanet Mante
,
Zhen Zhang
,
Chris J. Myers
(2021).
Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA
. ACS Synth. Biol..
Cite
Code
DOI
Carlos E. Budde
,
Arnd Hartmanns
,
Michaela Klauck
,
Jan Křetínský
,
David Parker
,
Tim Quatmann
,
Andrea Turrini
,
Zhen Zhang
(2021).
On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report
. At
ISoLA 2020
.
Cite
DOI
Thakur Neupane
,
Chris J. Myers
,
Curtis Madsen
,
Hao Zheng
,
Zhen Zhang
(2019).
STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis
. At
CAV 2019
.
Cite
DOI
Cite
×