FLUENT Verification Project
FLUENT Verification Project
People
Events
Publications
Contact
Light
Dark
Automatic
synthetic biology
STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking
Stochastic model checking (SMC) is a formal verification technique for the analysis of systems with probabilistic behavior. Scalability …
Riley Roberts
,
Thakur Neupane
,
Lukas Buecherl
,
Chris J. Myers
,
Zhen Zhang
Cite
DOI
Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA
In synthetic biology, combinational circuits are used to program cells for various new applications like biosensors, drug delivery …
Lukas Buecherl
,
Riley Roberts
,
Pedro Fontanarrosa
,
Payton J. Thomas
,
Jeanet Mante
,
Zhen Zhang
,
Chris J. Myers
Cite
Code
DOI
On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report
Quantitative verification tools compute probabilities, expected rewards, or steady-state values for formal models of stochastic and …
Carlos E. Budde
,
Arnd Hartmanns
,
Michaela Klauck
,
Jan Křetínský
,
David Parker
,
Tim Quatmann
,
Andrea Turrini
,
Zhen Zhang
Cite
DOI
Cite
×