প্রশ্ন ট্যাগ «program-correctness»

সফটওয়্যার ইঞ্জিনিয়ার হিসাবে আমি শিল্পজাত পণ্যের জন্য প্রচুর কোড লিখি। ক্লাস, থ্রেড, কিছু নকশার প্রচেষ্টা, তবে পারফরম্যান্সের জন্য কিছু আপস সহ তুলনামূলকভাবে জটিল স্টাফ। আমি অনেক টেস্টিং করি, এবং আমি পরীক্ষায় ক্লান্ত হয়ে পড়েছি, তাই আমি কক, ইসাবেল প্রথাগত প্রুফ সরঞ্জামগুলিতে আগ্রহী হয়েছি ... আমি আমার কোডটি বাগ-মুক্ত এবং প্রথাগতভাবে …

66 programming-languages  program-correctness  software-verification 

উইকিপিডিয়া থেকে: তাত্ত্বিক কম্পিউটার বিজ্ঞানে একটি অ্যালগরিদমের সংক্ষিপ্ততা জোর দেওয়া হয় যখন বলা হয় যে কোনও স্পেসিফিকেশনের ক্ষেত্রে আলগোরিদিম সঠিক। তবে সমস্যাটি হ'ল "যথাযথ" স্পেসিফিকেশন পাওয়া তুচ্ছ কাজ নয়, এবং সঠিকটি পাওয়ার জন্য 100% সঠিক পদ্ধতি নেই (যতদূর আমি জানি) সঠিক এটি পাওয়া যায়, এটি কেবলমাত্র একটি অনুমান, তাই যদি …

17 formal-methods  software-verification  program-correctness 

হার্টবেল্ড বাগের বিষয়ে ব্রুস স্নিয়ার তার 15 ই এপ্রিলের ক্রিপ্টো-গ্রামে লিখেছেন: '' ক্যাটাস্ট্রফিক 'সঠিক শব্দ। 1 থেকে 10 এর স্কেলে এটি একটি ১১। ' আমি বেশ কয়েক বছর আগে পড়েছিলাম যে একটি নির্দিষ্ট অপারেটিং সিস্টেমের কার্নেলটি একটি আধুনিক প্রোগ্রাম যাচাইকরণ সিস্টেমের সাথে কঠোরভাবে যাচাই করা হয়েছে। অতএব হার্টবেল্ড জেনারগুলির বাগগুলি …

9 cryptography  correctness-proof  security  software-verification  program-correctness