Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows


With quick development of grid techniques and growing complexity of grid applications, it is becoming critical for reasoning temporal properties of grid workflows to probe potential pitfalls and errors, in order to ensure reliability and trustworthiness at the initial design phase. A state Pi calculus is proposed and implemented in this work, which not only… (More)
DOI: 10.1007/s11390-011-1198-4

9 Figures and Tables


  • Presentations referencing similar topics