Curtis Madsen

Latest

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