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
