अंग्रेज़ीफ्रेंचस्पेनिश

सर्वर चलाएं | Ubuntu > | Fedora > |


ऑनवर्क्स फ़ेविकॉन

gwhy - क्लाउड में ऑनलाइन

उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर पर ऑनवर्क्स मुफ्त होस्टिंग प्रदाता में gwhy चलाएं

यह कमांड gwhy है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे कि उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर में से एक का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।

कार्यक्रम:

नाम


क्यों - एक बहु-भाषा बहु-प्रोवर सत्यापन उपकरण

SYNOPSIS


क्यों [ विकल्पों ] फ़ाइलों

वर्णन


क्यों एक सत्यापन उपकरण है। यह एनोटेट प्रोग्राम को इनपुट के रूप में लेता है (एमएल या सी सिंटैक्स में) और
कई प्रूफ सहायकों (Coq, PVS, HOL Light, Mizar) के लिए सत्यापन शर्तों को आउटपुट करता है
और निर्णय प्रक्रिया (haRVey, सरलीकृत)।

विकल्प


-h मदद। आपको कमांड लाइन विकल्पों की पूरी सूची देगा।

लेखक


जीन क्रिस्टोफ़ फ़िलिअट्रे <filliatr@lri.fr>

onworks.net सेवाओं का उपयोग करके ऑनलाइन gwhy का उपयोग करें


Ad


Ad