• 关键的是一个用户友好的和有效的应用程序开发，以提供装置的核实证明文件的Java公用事业，主要目的在于开发人员的工作与这种编程语言，因为它要求至少以前的一些知识，以便成功地使用它。

    该工具经验的快速和容易的步骤的过程，在这期间，你是指示下载一系列的图书馆和粘贴到他们在一个精确的文件夹，必须为它的正确运作。

    后具有随后步骤和复制的图书馆进入该指示的文件夹，你可以启动关键用BAT文件和载你的证明文件的实用工具，以核实它基于可调整的条件。

    打开一个对象进入应用程序，需要取相应的选项，从'文件'菜单。 随后，证明树将显示在一个专门小组，允许查看当前的目标'的。

    之后，你可以切换到证明搜索的战略'的标签和确定的规则要适用于在核查过程，例如'Java DL选择','证明分裂','循环处理的'，'依赖合同','类公理的规则'和其他定制的偏好。

    在这一步骤，也可以设定的'最大。 规则的应用程序的数量，其范围可以从为一个为多达一百万。 你可以最后按"开始"和关键的执行任务验证证明文件，显示结果在弹出式窗口对你进行审查。 你可以保存所产生的证明文件的格式，以你的计算机，当完成。

    总之，关键是一个实际的和轻便的软件解决方案，Java程序员可以诉诸于验证证明文件在几乎没有时间，让你来的调整过程，以满足特定需求。

  • कुंजी है एक उपयोगकर्ता के अनुकूल और कुशल आवेदन विकसित की है की पेशकश करने के लिए आप का मतलब है की पुष्टि करने के सबूत की फाइलें जावा उपयोगिताओं किया जा रहा है, मुख्य रूप से करने के उद्देश्य से डेवलपर्स के साथ काम करने वाले इस प्रोग्रामिंग भाषा की आवश्यकता के रूप में कम से कम कुछ पूर्व ज्ञान है क्रम में करने के लिए सफलतापूर्वक इसे का उपयोग करें.

    उपकरण अनुभव के लिए एक त्वरित और आसान कदम प्रक्रिया के दौरान, जो आप करने के निर्देश दिए हैं डाउनलोड की एक श्रृंखला के पुस्तकालयों और पेस्ट में उन्हें एक सटीक फ़ोल्डर के लिए आवश्यक है, इसकी सही कामकाज.

    होने के बाद चरणों का पालन और नकल के पुस्तकालयों में संकेत दिया फ़ोल्डर, आप शुरू कर सकते हैं कुंजी का उपयोग कर एक बल्ला फ़ाइल और सबूत फ़ाइल में उपयोगिता सत्यापित करने के क्रम में यह के आधार पर समायोज्य स्थिति है ।

    को खोलने के लिए एक वस्तु आवेदन में, आप की जरूरत है लेने के लिए इसी विकल्प से 'फ़ाइल' मेनू । बाद में, सबूत के पेड़ में प्रदर्शित किया जाएगा एक समर्पित पैनल की अनुमति देता है, आप को देखने के लिए 'वर्तमान लक्ष्य'है ।

    बाद में, आप कर सकते हैं करने के लिए स्विच 'के सबूत खोज रणनीति' टैब पर जाएं और नियमों को परिभाषित है कि आप चाहते हैं को लागू करने के लिए सत्यापन प्रक्रिया के दौरान, इस तरह के रूप में 'जावा डीएल विकल्प', 'सबूत बंटवारे', 'पाश उपचार', 'निर्भरता ठेके', 'वर्ग स्वयंसिद्ध नियम' और अन्य अनुकूलन वरीयताओं को.

    इस चरण में, आप भी सेट कर सकते हैं 'मैक्स. शासन अनुप्रयोगों' संख्या है, जो रेंज कर सकते हैं के रूप में छोटे से एक के रूप में के रूप में ज्यादा के रूप में एक लाख है । आप कर सकते हैं अंत में 'आरंभ' प्रेस और महत्वपूर्ण कार्य प्रदर्शन करेंगे की पुष्टि करने के अपने सबूत फाइल, प्रदर्शित करने के परिणाम में एक पॉपअप विंडो के लिए आप की समीक्षा करने के लिए उन्हें. आप को बचाने कर सकते हैं उत्पन्न सबूत प्रारूप फाइल करने के लिए आपके कंप्यूटर में है, जब पूरा हो गया है.

    संक्षेप करने के लिए, कुंजी है एक व्यावहारिक और हल्के सॉफ्टवेयर समाधान है कि जावा प्रोग्रामर कर सकते हैं का सहारा करने के लिए पुष्टि करने के लिए सबूत में फ़ाइलों को छोटा करने के लिए कोई समय नहीं है की अनुमति देता है, आप के लिए प्रक्रिया को समायोजित करने के लिए अपनी विशिष्ट आवश्यकताओं के अनुरूप.

  • KeY is a user-friendly and efficient application developed to offer you the means of verifying proof files of Java utilities, being mainly aimed at developers who work with this programming language, as it requires at least some previous knowledge in order to successfully use it.

    The tool experiences a quick and easy step process, during which you are instructed to download a series of libraries and paste them in a precise folder, necessary for its correct functioning.

    After having followed the steps and copied the libraries into the indicated folder, you can launch KeY using a BAT file and load your proof file into the the utility in order to verify it based on adjustable conditions.

    To open an object into the application, you need to pick the corresponding option from the ‘File’ menu. Subsequently, the proof tree will be displayed in a dedicated panel, allowing you to view the ‘Current Goal’.

    Afterward, you can switch to the ‘Proof Search Strategy’ tab and define the rules that you wish to apply during the verification process, such as ‘Java DL Options’, ‘Proof Splitting’, ‘Loop Treatment’, ‘Dependency Contracts’, ‘Class Axiom Rule’ and other customizable preferences.

    In this step, you can also set the ‘Max. Rule Applications’ number, which can range from as little as one to as much as a million. You can finally press ‘Start’ and KeY will perform the task of verifying your proof file, displaying the results in a popup window for you to review them. You can save the generated PROOF format file to your computer, when complete.

    To summarize, KeY is a practical and lightweight software solution that Java programmers can resort to for verifying proof files in little to no time, allowing you to adjust the process to suit your specific needs.