প্রশ্ন ট্যাগ «model-checking»

কোনও প্রোগ্রামিং ল্যাঙ্গুয়েজ সিনটিক্স এবং টাইপ সিস্টেমের প্রোটোটাইপ করার জন্য কি কোনও সরঞ্জাম রয়েছে এবং এটি ধরণের ধরণেরতার মতো স্ট্যান্ডার্ড বৈশিষ্ট্যগুলির এক ধরণের মডেল চেকিংয়েরও অনুমতি দেয় ? আমি এই জিজ্ঞেস করছি, কারণ আমি একটি বই পড়া করছি খাদ এবং এটি সঠিক কার্যকারিতা আমি চাই যে, কিন্তু মডেলের জন্য রিলেশনাল …

11 reference-request  programming-languages  semantics  model-checking