Verification of Vortex Workflows

This publication has 13 references indexed in Scilit:

• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Composite model-checking
  ACM Transactions on Software Engineering and Methodology, 2000
• Model-checking concurrent systems with unbounded integer variables
  ACM Transactions on Programming Languages and Systems, 1999
• Verification of Business Processes for a Correspondence Handling Center using CCS
  Published by Springer Nature ,1999
• Model checking large software specifications
  IEEE Transactions on Software Engineering, 1998
• Construction of abstract state graphs with PVS
  Published by Springer Nature ,1997
• Managing heterogeneous multi-system tasks to support enterprise-wide operations
  Distributed and Parallel Databases, 1995
• An overview of workflow management: From process modeling to workflow automation infrastructure
  Distributed and Parallel Databases, 1995
• WASA: A workflow-based architecture to support scientific database applications
  Published by Springer Nature ,1995
• Symbolic Model Checking
  Published by Springer Nature ,1993