Skip to main content

SQUAD & BoolSim

Website: http://www.vital-it.ch/software/SQUAD/

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 http://www.vital-it.ch/software/genYsis/

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

updating
Synchronous
Synchronous updating policy
simulation
Continous
Continuous view of a logical model
Trace
Follow a single path

Supported formats

Boolsim
list of functions used by the boolsim tool