द्वारा कार्यक्रम webjetchecker.sf.net

इस परियोजना में पीआई-कैलकुलस और बीपीईएल और पीआई-कैलकुलस के बीच रूपांतरण के आधार पर वेब सेवाओं संरचना के औपचारिक सत्यापन के लिए एक उपकरण का प्रस्ताव है। यह उपकरण दो प्रकार की औपचारिक सत्यापन तकनीकों को एकीकृत करता है और स्वचाल