HooVer: a statistical model checking tool with optimistic optimization
Primary LanguagePythonUniversity of Illinois/NCSA Open Source LicenseNCSA