এটি হল rv_merge কমান্ড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
কেন - একটি বহু-ভাষা বহু-প্রমাণ যাচাইকরণ টুল
সাইনোপিসিস
কেন [ অপশন ] নথি পত্র
বর্ণনাঃ
কেন একটি যাচাইকরণ টুল। এটি টীকাযুক্ত প্রোগ্রামগুলিকে ইনপুট হিসাবে নেয় (এমএল বা সি সিনট্যাক্সে) এবং
বেশ কয়েকটি প্রমাণ সহকারীর জন্য যাচাইকরণের শর্তগুলি আউটপুট করে (Coq, PVS, HOL Light, Mizar)
এবং সিদ্ধান্ত পদ্ধতি (haRVey, সরলীকরণ)।
বিকল্প
-h সাহায্য আপনাকে কমান্ড লাইন বিকল্পগুলির সম্পূর্ণ তালিকা দেবে।
লেখক
জিন-খ্রিস্টফি ফিলিয়াটার <[ইমেল সুরক্ষিত]>
onworks.net পরিষেবা ব্যবহার করে অনলাইনে rv_merge ব্যবহার করুন
