Decomposition-Based Verification of Cyclic Workflows.
Yongsun ChoiJ. Leon ZhaoPublished in: ATVA (2005)
Keyphrases
- grid workflow
- model checking
- data processing
- decomposition method
- web services
- data mining
- decomposition methods
- business processes
- workflow management systems
- signature verification
- real world
- asynchronous circuits
- exception handling
- decomposition algorithm
- formal verification
- image processing
- formal analysis
- formal methods
- multi agent systems
- multiscale
- image decomposition
- hierarchical decomposition
- genetic algorithm
- concurrent systems
- real time