GitHub repository: sundw2014/HooVer
Primary language: Python
Created: 2019-10-21T00:26:21Z
Description: HooVer: a statistical model checking tool with optimistic optimization