Skip to main content

SQUAD & BoolSim


BoolSim implements an efficient algorithm, based on binary decision diagrams, to identify all attractors (stable states, as well as cyclic attractors) of Boolean models. SQUAD derives continuous dynamical models from logical models, and performs continuous simulations, allowing the modification of several parameters.

See also

Dynamic simulation of regulatory networks using SQUAD
A. Di Cara, A. Garg, G. De Micheli, I. Xenarios, L. Mendoza (2007)
BMC Bioinformatics 8:462 [pubmed:18039375]

Implemented methods

Supported formats

list of functions used by the boolsim tool