Abstract
Abstract Boolean models are a powerful resource for studying dynamic processes of biological systems. However, their inherent discrete nature limits their ability to capture continuous aspects of signal transduction, such as signal strength or protein activation levels. Although existing tools provide some path exploration capabilities that can be used to explore signal transduction circuits, the computational workload often requires simplifying assumptions that compromise the accuracy of the analysis. Here, we introduce BooLEVARD, a Python package designed to efficiently quantify the number of paths leading either to node activation or repression in Boolean models, which offers a more detailed and quantitative perspective on how molecular signals propagate through signaling networks. By focusing on the collection of non-redundant paths directly influencing Boolean outcomes, BooLEVARD enhances the precision of signal strength representation. We showcase the application of BooLEVARD in studying cell-fate decisions using a Boolean model of cancer metastasis, demonstrating its ability to identify critical signaling events. In addition, through a second use case, we demonstrated BooLEVARD’s capability to scale efficiently across increasingly large and connected Boolean models. Through these properties, BooLEVARD provides a distinctive tool for quantitative analysis of signaling dynamics within Boolean models, which can increase our understanding of disease development and drug responses. BooLEVARD is freely available at https://github.com/farinasm/boolevard .