model verification

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker

Improving the scalability of probabilistic model checking (PMC) tools is crucial to the verification of real-world system designs. The …

Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zhang, Chris Winstead, Zhen Zhang

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