Login / Signup
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.
Joshua Jeppson
Matthias Volk
Bryant Israelsen
Riley Roberts
Andrew Williams
Lukas Buecherl
Chris J. Myers
Hao Zheng
Chris Winstead
Zhen Zhang
Published in:
QEST (2023)
Keyphrases
</>
model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
set theory
symbolic model checking
bayesian networks
test suite
genetic algorithm
artificial intelligence