Reference:

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.

Abstract:

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:

@inproceedings{MRE96,
    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}
}