software . 2020

Netter: Probabilistic, Stateful Network Models

Zhang, Han; Zhang, Chi; Azevedo de Amorim, Arthur; Agarwal, Yuvraj; Fredrikson, Matt; Jia, Limin;
Open Source English
  • Published: 15 Oct 2020
  • Publisher: Zenodo
Abstract
<p><strong>Project Github Repo</strong></p> <p>The main Netter compiler is available at <a href="https://github.com/arthuraa/netter">https://github.com/arthuraa/netter</a>, while this artifact contains example code and models for case studies from the paper.</p> <p>&nbsp;</p> <p><strong>Extract Instruction</strong></p> <p>This artifact is designed to be executed with VMCAI 2021 Virtual Machine (<a href="https://doi.org/10.5281/zenodo.4017292">https://doi.org/10.5281/zenodo.4017292</a>).</p> <p>One important assumption is that you extract the ZIP file content under `/home/vmcai2021`, since we have some implicit dependencies for local package locations. See README...
Subjects
free text keywords: Stateful networks, Probabilistic model checking, Discrete-time Markov chains
Download fromView all 3 versions
Zenodo
Software . 2020
Provider: Datacite
Zenodo
Software . 2020
Provider: Datacite
Zenodo
Software . 2020
Provider: Zenodo
Any information missing or wrong?Report an Issue