Atur cara mengikut peptool.sf.net

PEP adalah rangka kerja pemodelan dan pengesahan untuk sistem selari, menyediakan sebilangan besar bahasa pemodelan dan teknik pengesahan yang berbeza (contohnya SDL, jaring Petri dan pemeriksaan model)