Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. 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.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- John Zobolas; Martin Kuiper; Åsmund Flobak: emba: R package for analysis and visualization of biomarkers in boolean model ensembles (2020) not zbMATH