 |
Conference papers
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface
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.
Cited literature [23 references]
https://hal.archives-ouvertes.fr/hal-01589248
Contributor : Loïc Paulevé <>
Submitted on : Monday, September 18, 2017 - 1:39:24 PM
Last modification on : Tuesday, April 21, 2020 - 1:10:36 AM
Contributor : Loïc Paulevé <>
Submitted on : Monday, September 18, 2017 - 1:39:24 PM
Last modification on : Tuesday, April 21, 2020 - 1:10:36 AM
File
pint.pdf
Files produced by the author(s)
