Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Verification Using PEP (Tool presentation)


S. Melzer, S. Römer, and J. Esparza. Verification using PEP (tool presentation). In M. Wirsing and M. Nivat, editors, Proc. of AMAST'96, number 1101 in Lecture Notes in Computer Science, pages 591–594. Springer-Verlag, 1996.


PEP is a tool for the design, analysis and the verification of parallel programs. Two approaches are presented in this paper being the underlying technique of the verification component of PEP.

Suggested BibTeX entry:

    author = {S. Melzer and S. R{\"o}mer and J. Esparza},
    booktitle = {Proc. of AMAST'96},
    editor = {M. Wirsing and M. Nivat},
    number = {1101},
    pages = {591--594},
    publisher = {{Springer-Verlag}},
    series = {{Lecture Notes in Computer Science}},
    title = {Verification Using {PEP} (Tool presentation)},
    year = {1996}

GZipped PostScript (24 kB)
PDF (122 kB)