এআই রিপোর্ট · Microsoft · 2026-11-05 · পণ্য ঘোষণা

PDD Kit দিয়ে এজেন্ট-লিখিত ফুল-স্ট্যাক ওয়েব অ্যাপের ফর্মাল ভেরিফিকেশন

মূল শিরোনাম: Formally verifying agent-written full-stack web apps with PDD Kit

PDD Kit একজন ডেভেলপারের অভিপ্রায়কে Verus ফর্মাল স্পেসিফিকেশনে রূপান্তর করে, AI-জেনারেটেড কোড প্রতিটি ইনপুটের জন্য তা পূরণ করে কি না তা প্রমাণ করে, এবং যেখানে প্রমাণ করা অব্যবহারিক সেখানে টেস্টে ফিরে যায়। GitHub Next-এর Chopin-এর ভেতরে একটি ট্রায়ালে এটি Rust স্টোরফ্রন্ট Pet Store-এর লগইন লজিক যাচাই করেছে, বিদ্যমান বাগ খুঁজে বের করেছে এবং স্পেসিফিকেশনের বিপরীতে লগইন বাগের অনুপস্থিতি প্রমাণ করেছে। ডেভেলপার জেনারেটেড কোড লাইন ধরে ধরে না পড়েই অভিপ্রায় পর্যালোচনা করেছেন।

মূল লেখা পড়ুন ↗

সব এআই রিপোর্ট →