moves-rwth/storm: v1.2.2-alpha [DOI only]

Christian Hensel; Sebastian Junges; Matthias Volk; Tim Quatmann; P. Berger; nafur; David; Tom Janson; hbruintjes; looomis; Joachim Klein; Sascha Vincent Kurowski; Arash Partow;

<p>This release is an update from 1.2.1 to support archiving of our TACAS submission. We are aware of an issue under GCC 7 with LTO enabled.</p>
Share - Bookmark

  • Download from
    Zenodo via Zenodo (Software, 2018)
  • Cite this software