यह कमांड gwhy है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।
कार्यक्रम:
नाम
क्यों - एक बहु-भाषा बहु-प्रोवर सत्यापन उपकरण
SYNOPSIS
क्यों [ विकल्पों ] फ़ाइलों
वर्णन
क्यों एक सत्यापन उपकरण है। यह एनोटेट प्रोग्राम को इनपुट के रूप में लेता है (एमएल या सी सिंटैक्स में) और
कई प्रूफ सहायकों (Coq, PVS, HOL Light, Mizar) के लिए सत्यापन शर्तों को आउटपुट करता है
और निर्णय प्रक्रिया (haRVey, सरलीकृत)।
विकल्प
-h मदद। आपको कमांड लाइन विकल्पों की पूरी सूची देगा।
लेखक
जीन क्रिस्टोफ़ फ़िलिअट्रे <filliatr@lri.fr>
onworks.net सेवाओं का उपयोग करके ऑनलाइन gwhy का उपयोग करें