Tag Results

Items tagged with "model checking" (5)

Note: some items may not be visible to you, due to viewing permissions.

Workflows (5)

Taverna 1

Uploader

trybik

prism Web service (1)

Download

PRISM model checking (http://www.prismmodelchecker.org/manual/RunningPRISM/ModelChecking). The '-fixdl' switch is used, which means that all deadlock states in model are fixed by addition of self-loops.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: trybik

Taverna 1

Uploader

trybik

asynchronous prism Web service (1)

Download

Asynchronous version of the Prism Web service. Results XML list is sent via email.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: trybik

Taverna 1

Uploader

trybik

[deprecated] Probabilistic Model Checking ... (1)

Download

This is a Taverna 1 version; if you're using latest Taverna 2 workbench please use: www.myexperiment.org/workflows/2266.html . Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) PRISM model translation and model checking Web service operations.

Created: 2011-01-26 | Last updated: 2011-07-20

Credits: trybik

Taverna 2

Uploader

trybik

Multi-parameter sensitivity analysis (MPSA... (2)

Download

Exemplary multi-parameter sensitivity analysis (MPSA) experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) WS operations. In this version of MPSA PRISM probabilistic model checking is basis of analysis of SBML model parameters space.