इस परियोजना में पीआई-कैलकुलस और बीपीईएल और पीआई-कैलकुलस के बीच रूपांतरण के आधार पर वेब सेवाओं संरचना के औपचारिक सत्यापन के लिए एक उपकरण का प्रस्ताव है। यह उपकरण दो प्रकार की औपचारिक सत्यापन तकनीकों को एकीकृत करता है और स्वचालित रूप से मान्य कर सकता है।
संस्करण इतिहास
- विवरण webjetCheck1.0_src.zip पर तैनात 2006-12-13
कई सुधार और अपडेट - विवरण webjetCheck1.0_src.zip पर तैनात 2006-12-13
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: webjetchecker.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 1.0
- मंच: windows