প্রোগ্রামের ডিডাক্টিভ সংশ্লেষণ
প্রোগ্রাম ইনভেরিয়েন্ট
একটি লজিক্যাল বৈশিষ্ট্য যা একটি প্রোগ্রামের এক্সিকিউশন দ্বারা সংরক্ষিত হয়, ডিডাক্টিভ সংশ্লেষণ পদ্ধতিতে আংশিক এবং সম্পূর্ণ সংশোধন প্রমাণ করতে ব্যবহৃত।
← ফিরে যান