Correctness debugging of message passing programs using model verification techniques
Lovas, Róbert and Kacsuk, Péter (2007) Correctness debugging of message passing programs using model verification techniques. In: Recent advances in parallel virtual machine and message passing interface. 14th European PVM/MPI User's Group meeting. Paris, 2007. (Lecture notes in computer science 4757.).
![[img]](https://eprints.sztaki.hu/style/images/fileicons/text.png) |
Text
234215g06338786m - Published Version Restricted to Registered users only Download (36kB) |
Official URL: http://www.springerlink.com/content/234215g0633878...
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| Divisions: | Laboratory of Parallel and Distributed Systems |
| Depositing User: | Eszter Nagy |
| Date Deposited: | 11 Dec 2012 15:30 |
| Last Modified: | 11 Dec 2012 15:30 |
| URI: | https://eprints.sztaki.hu/id/eprint/5071 |
 |
Update Item |
