STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis.

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

Published in: CoRR (2019)

Keyphrases

model checking
software engineering
model checker
data mining
data analysis
domain specific
orders of magnitude
formal verification