1. Home
  2. Workflows

Workflows

Search filter terms
Filter by type
Taverna 1
2
Filter by tag
model checking
2
Filter by user
trybik
2
Filter by licence
by-sa
2
Filter by wsdl
http://bioputer.mimuw.edu.pl/tav4sb/services/wsdl
2
Results per page:
Sort by:
Showing 2 results. Use the filters on the left and the search box below to refine the results.
Type: Taverna 1 Tag: model checking User: trybik Licence: by-sa Wsdl: http://bioputer.mimuw.edu.pl/tav4sb/services/wsdl
Remove all filters
Taverna 1
Uploader
2472?size=60x60 Pl trybik

Workflow asynchronous prism Web service (1)

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

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

Credits: User trybik

Taverna 1
Uploader
2472?size=60x60 Pl trybik

Workflow prism Web service (1)

Thumb
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: User trybik

Results per page:
Sort by:
Funded by: BioVeL, EPSRC, JISC, Microsoft

Affiliates: myGrid, Taverna, BioCatalogue
About | Privacy | Publications | Contact / Feedback | Mailing List
Icons: Silk icon set 1.3

Copyright © 2007 – 2018 The University of Manchester and University of Southampton