Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface

Loïc Paulevé

Abstract

The software Pint is devoted to the scalable analysis of the traces of automata networks, which encompass Boolean and discrete networks. Pint implements formal approximations of transient reachability-related properties, including mutation prediction and model reduction. Pint is distributed with command line tools, as well as a Python module pypint. The latter provides a seamless integration with the Jupyter IPython notebook web interface, which allows to easily save, reuse, reproduce , and share workflows of model analysis. Pint can address networks with hundreds to thousands interacting components , which are typically intractable with standard approaches.
Fichier principal
Vignette du fichier
pint.pdf (474.77 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01589248 , version 1 (18-09-2017)

Identifiers

Cite

Loïc Paulevé. Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.370 - 316, ⟨10.1007/978-3-319-67471-1_20⟩. ⟨hal-01589248⟩
427 View
482 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More