Program menurut peptool.sf.net
-
The PEP tool Gratis
PEP adalah kerangka pemodelan dan verifikasi untuk sistem paralel, menyediakan sejumlah besar bahasa pemodelan dan teknik verifikasi yang berbeda (misalnya SDL, petri nets dan pengecekan model)
PEP adalah kerangka pemodelan dan verifikasi untuk sistem paralel, menyediakan sejumlah besar bahasa pemodelan dan teknik verifikasi yang berbeda (misalnya SDL, petri nets dan pengecekan model)