I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Verification Using PEP (Tool presentation)

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}
}

GZipped PostScript (24 kB)
PDF (122 kB)