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

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

Browse the full CAV paper archive.