पेट्रा
स्केलेबल औपचारिक सॉफ्टवेयर सत्यापन के लिए खुला मानक
विशेष रुप से प्रदर्शित
86 वोट
विवरण
पेट्रा मानक के लिए स्केलेबल (ऑब्जेक्ट-ओरिएंटेड) औपचारिक सॉफ्टवेयर सत्यापन और पेशेवर डेवलपर टूल के लिए दुनिया का पहला खुला मानक है।
ProductHubX ऐप इंस्टॉल करें
इस साइट को एप्लिकेशन के रूप में इंस्टॉल किया जा सकता है। यह अपनी खुद की विंडो में खुलेगा और OS सुविधाओं के साथ सुरक्षित रूप से एकीकृत होगा।
अभी नहीं
इंस्टॉल करें
ProductHubX ऐप इंस्टॉल करें
इस साइट को एप्लिकेशन के रूप में इंस्टॉल किया जा सकता है। यह अपनी खुद की विंडो में खुलेगा और OS सुविधाओं के साथ सुरक्षित रूप से एकीकृत होगा।
अभी नहीं
इंस्टॉल करें