I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - The PEP Verification System


E. Best, J. Esparza, B. Grahlmann, S. Melzer, S. Römer, and F. Wallner. The PEP verification system. In FEmSys'97, 1997. Tool presentation.


This paper gives a short overview of the verification system PEP (a Programming Environment based on Petri nets). It focuses on some recent developments.

Suggested BibTeX entry:

    author = {E. Best and J. Esparza and B. Grahlmann and S. Melzer and S. R{\"o}mer and F. Wallner},
    booktitle = {FEmSys'97},
    note = {Tool presentation},
    title = {The {PEP} Verification System},
    year = {1997}

GZipped PostScript (31 kB)
PDF (141 kB)