Formal verification of temporal properties for reduced overhead in grid scientific workflows

DOI10.1007/S11390-011-1198-4zbMath1280.68122OpenAlexW2128438161MaRDI QIDQ2637258

Ke Xu, Lian-Chen Liu, Fan Zhang, Jun-Wei Cao, Cheng Wu

Publication date: 11 February 2014

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11390-011-1198-4

zbMATH Keywords

formal verificationworkflow managementgrid computingstate Pi calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• NuSMV
• GridFlow

Cites Work

• Formal verification technique for grid service chain model and its application
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal verification of temporal properties for reduced overhead in grid scientific workflows