প্রশ্ন ট্যাগ «formal-methods»

এসিএসএল (আনসি সি স্পেসিফিকেশন ল্যাঙ্গুয়েজ), সি কোডের জন্য একটি স্পেসিফিকেশন, বিশেষ মন্তব্যে বর্ণিত, যা সি কোডটিকে আনুষ্ঠানিকভাবে যাচাই করার অনুমতি দেয়। আমি এটি খতিয়ে দেখিনি, তবে আমি ধারণা করি যে এসিএসএল ভেরিফায়ারগুলিতে ব্যবহৃত আনুষ্ঠানিক পদ্ধতিগুলি হোয়ের লজিকের অনুরূপ হবে। খাঁটি কার্যকরী ভাষাগুলির জন্য যেমন হাস্কেল, আমি আনুষ্ঠানিক যাচাইয়ের জন্য কী …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

স্থগিত সমস্যা যে এটা অসম্ভব একটি প্রোগ্রাম যে যদি অন্য প্রোগ্রাম স্থগিত নির্ধারণ করতে পারেন, জন্য লিখতে সম্ভাব্য সব ইনপুট প্রোগ্রাম । আমি তবে অবশ্যই একটি প্রোগ্রাম লিখতে পারি যা লাইক প্রোগ্রামের চলমান সময় গণনা করতে পারে: for(i=0; i<N; i++) { x = 1; } এবং সময় জটিলতাটি এটি কখনও …

23 computability  time-complexity  formal-methods  se.software-engineering 

সুরক্ষায় লজিকাল পদ্ধতিতে বর্তমানে আমি একটি ছোট কোর্স (মাস্টার্স পর্যায়ে চার ঘন্টার বক্তৃতা) পড়ি , যদিও সুরক্ষায় আনুষ্ঠানিক পদ্ধতিগুলি শিরোনামটি আরও উপযুক্ত হতে পারে। এটি সংক্ষিপ্তভাবে নিম্নলিখিত বিষয়গুলি (সম্পর্কিত যুক্তিযুক্ত পদ্ধতি সহ) কভার করে: ডিজিটাল রাইটস ম্যানেজমেন্ট এবং নীতি প্রয়োগকারী (সাধারণ আনুষ্ঠানিককরণ, মডেল লজিক, অটোমেটার মাধ্যমে প্রয়োগকরণ) প্রুফ বহনকারী কোড …

22 lo.logic  cr.crypto-security  teaching  security  formal-methods 

আনুষ্ঠানিক পদ্ধতির একটি গুরুত্বপূর্ণ লক্ষ্য হ'ল স্বয়ংক্রিয় বা মানব-নির্দেশিত উপায় দ্বারা সিস্টেমগুলির যথার্থতা প্রমাণ করা। তবে, মনে হচ্ছে আপনি সঠিকতার প্রমাণ দিতে পারলেও, সিস্টেমটি ব্যর্থ হবে না এমন গ্যারান্টি দিতে সক্ষম হতে পারবেন না। উদাহরণ স্বরূপ: স্পেসিফিকেশন সিস্টেমটিকে সঠিকভাবে মডেল না করতে পারে, বা একটি উত্পাদন সিস্টেম মডেল করা থেকে …

20 lo.logic  pl.programming-languages  formal-systems  formal-methods 

আমি গণিতে এক গ্রেড ছাত্র, যুক্তিতে দৃ background় পটভূমি with সীমাবদ্ধ মডেল তত্ত্বের উপর স্নাতক কোর্স এবং জোর করে এবং তত্ত্বের উপর আরেকটি স্নাতক কোর্সের সাথে যুক্তিতে একবছর স্নাতক কোর্স করেছি। বেশিরভাগ সিএস পাঠ্য যুক্তিগুলিতে কেবলমাত্র একটি খুব পরিমিত ব্যাকগ্রাউন্ড ধরেছে বলে মনে হয়, যা বেশিরভাগ ক্ষেত্রে প্রস্তাবিত যুক্তি এবং …

17 lo.logic  soft-question  big-list  books  formal-methods 

আমি নিজেই আনুষ্ঠানিক পদ্ধতি শিখছি। আমি শুনেছি মিশন সমালোচনামূলক সফ্টওয়্যার (যেমন পারমাণবিক চুল্লী নিয়ন্ত্রক, বিমান উড়ান নিয়ন্ত্রক, স্পেস প্রোব নিয়ামক) তৈরি করতে আনুষ্ঠানিক পদ্ধতিগুলি ব্যবহার করা হয় (এবং সাধারণত কেবল ব্যবহৃত হয়)। এজন্যই আমি এটি শিখতে আগ্রহী: পি তবে, আনুষ্ঠানিক পদ্ধতিগুলি (বিশেষত এলটিএল, সিটিএল এবং তাদের ভাইবোন) শিখার পরে, আমি …

15 program-verification  formal-methods  se.software-engineering 

আপনার যদি দুটি পৃথক বাছাই করা অ্যালগরিদম বাস্তবায়ন করে থাকে তবে সোর্স কোড দ্বারা এটি নির্ধারণ করা কি তাদের উভয়েরই বহিরাগত বৈশিষ্ট্য একই? এর অর্থ এই যে তাদের উভয়েরই একটি ইনপুট হিসাবে একটি সম্ভাব্য ক্রমবিহীন ক্রম হবে এবং তাদের আউটপুট হিসাবে বাছাই করা ক্রম থাকবে? কীভাবে এই বাহ্যিক বৈশিষ্ট্যগুলি উত্স …

9 pl.programming-languages  decidability  formal-methods  extensionality