प्रोवेरिफ का उपयोग करके एसपीआई-कैलकुलस में निर्दिष्ट प्रोटोकॉल को संपादित करने और जांचने के लिए एक संपादक।
संस्करण इतिहास
- विवरण 0.2 पर तैनात 2010-01-08
कई सुधार और अपडेट - विवरण 0.2 पर तैनात 2010-01-08
कार्यक्रम विवरण
- कोटि: सुरक्षा और गोपनीयता > अन्य
- प्रकाशक: proverifeditor.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 0.2
- मंच: windows