Workflows

[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

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

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