প্রোগ্রামের ডিডাক্টিভ সংশ্লেষণ
ফ্লয়েড পদ্ধতি
স্ট্রাকচার্ড প্রোগ্রামের সংশোধন প্রমাণ করতে অ্যাসারশন এবং ইনভেরিয়েন্ট ব্যবহার করে প্রোগ্রাম যাচাইয়ের অগ্রগামী কৌশল, আধুনিক পদ্ধতির পূর্বসূরী।
← ফিরে যান