WestminsterResearch

WestminsterResearch will not be accepting deposits until 9th March 2015. This is to allow for a system upgrade and server migration.

Correctness debugging of message passing programs using model verification techniques

Lovas, Robert and Kacsuk, Peter K. (2007) Correctness debugging of message passing programs using model verification techniques. In: Cappello, Franck and Herault, Thomas and Dongarra, Jack, (eds.) Recent advances in parallel virtual machine and message passing interface: 14th European PVM/MPI Users' Group Meeting, Paris, France, September 30 - October 3, 2007: proceedings. Lecture notes in computer science (4757). Springer, Berlin, pp. 335-343. ISBN 9783540754152

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1007/978-3-540-75416-9_45

Abstract

During the correctness debugging of non-deterministic message-passing programs the software engineers must face the probe effect, the irreproducibility, the completeness problem, and also the large state-space to be discovered. This work attempts to over-come the limitation of existing debugging solutions, and combines the traditional debugging methods with automated modeling and formal verification of parallel programs. The presented debugging framework provides user-friendly facilities for active control and highly automated observation mechanism for message passing programs based on formal methods; Petri-net modeling, partial ordering of state space, and temporal logic assertions.

Item Type:Book Section
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:5317
Deposited On:30 Jun 2008 15:00
Last Modified:14 Oct 2009 11:27

Repository Staff Only: item control page