The PEP tool 2.0b

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 5.0/5 - ‎1 ‎वोट

पीईपी समानांतर प्रणालियों के लिए एक मॉडलिंग और सत्यापन ढांचा है, जो बड़ी संख्या में विभिन्न मॉडलिंग भाषाओं और सत्यापन तकनीकों (जैसे एसडीएल, पेट्री जाल और मॉडल चेकिंग) प्रदान करता है

संस्करण इतिहास

  • विवरण 2.0beta4 पर तैनात 2004-09-13
    कई सुधार और अपडेट
  • विवरण 2.0beta4 पर तैनात 2004-09-13

कार्यक्रम विवरण