Paper Info
Title
Proving Properties of PVM Applications - A Case Study with CoCheck
Abstract
. The results of a case study where we applied a formal methodto prove properties of CoCheck, an extention of PVM for the creation ofcheckpoints of parallel applications on workstation clusters. Although thefunctionality of CoCheck had been demonstrated in experiments, therewas no proof of the desired properties. Consequently, a formal methodhad to be applied which allows to prove those properties.1
Year
DOI
Venue
1996
10.1007/3540617795_17
PVM
Keywords
Field
DocType
case study,pvm applications,proving properties
Transition system,Computer science,Parallel computing,Formal methods,Workstation clusters
Conference
ISBN
Citations 
PageRank 
3-540-61779-5
2
0.44
References 
Authors
9
2
Name
Order
Citations
PageRank
Jürgen Menden120.44
Georg Stellner2155.41