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
:: SCREENSHOTS
:: REQUIREMENTS
- Windows/MacOsx/Linux
- Java
:: DOWNLOAD
:: 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