STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis.

Thakur Neupane Chris J. Myers Curtis Madsen Hao Zheng Zhen Zhang

Published in: CAV (1) (2019)

Keyphrases

model checking
data analysis
model checker
expert systems
image analysis
np hard
general purpose
formal verification