Procrustes

:: DESCRIPTION

Procrustes is a pattern-based property editor that enables the translation of each pattern into a temporal logic formula (currently CTL, CTRL and mu-calculus are supported).

::DEVELOPER

Procrustes team

:: SCREENSHOTS

:: REQUIREMENTS

• Windows/MacOsx/Linux
• Java

:: DOWNLOAD

 Procrustes

:: MORE INFORMATION

Citation

P.T. Monteiro, D. Ropers, R. Mateescu, A.T. Freitas and H. de Jong (2008),
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks,
Bioinformatics, 24(16) : i227-i233