 |
Free and accessible knowledge |
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é Connect in order to contact the contributor
Submitted on : Monday, September 18, 2017 - 1:39:24 PM
Last modification on : Friday, July 9, 2021 - 4:35:30 AM
Contributor : Loïc Paulevé Connect in order to contact the contributor
Submitted on : Monday, September 18, 2017 - 1:39:24 PM
Last modification on : Friday, July 9, 2021 - 4:35:30 AM
File
pint.pdf
Files produced by the author(s)