UPPAAL TIGA UPPAAL [BDL04] একটি এক্সটেনশন এবং এটি reachability এবং নিরাপত্তা বৈশিষ্ট্য সম্মান সঙ্গে সময় শেষ খেলা automata উপর ভিত্তি করে গেম সমাধানের জন্য প্রথম দক্ষ অন মাছি অ্যালগোরিদম প্রয়োগ করা.
দীর্ঘ সময় শেষ গেম নির্ধার্য হিসেবে পরিচিত হয়েছে যদিও এখন পর্যন্ত তাদের বিশ্লেষণের জন্য দক্ষ এবং সত্যিই অন মাছি আলগোরিদিম অভাব হয়েছে.
UPPAAL TIGA তার সংশ্লিষ্ট সার্ভারের সাথে একটি ব্যবহারকারী বান্ধব গ্রাফিক্যাল ইন্টারফেস, এবং একটি কমান্ড লাইন থেকে ব্যবহারযোগ্য Verifier উপলব্ধ করা হয়.
আমরা [CDFLL05] উত্থাপন করা অ্যালগরিদম সসীম-রাষ্ট্রীয় ব্যবস্থায় রৈখিক টাইম মডেল-পরীক্ষণের জন্য লিউ ও Smolka [LS98] দ্বারা প্রস্তাবিত অন মাছি আলগোরিদিম একটি সিম্বলিক এক্সটেনশন. সমগ্র রাজ্য স্পেস অন্বেষণ থাকার আগে অন-উড়ে হচ্ছে, সিম্বলিক অ্যালগরিদম দীর্ঘ বিনষ্ট হতে পারে.
এছাড়াও আলগোরিদিম পৃথক ধাপ অন্তর্নিহিত ডাটা স্ট্রাকচার হিসাবে তথাকথিত অঞ্চল ব্যবহার দ্বারা দক্ষতার সঙ্গে সম্পন্ন করা হয়. আমাদের হাতিয়ার বিভিন্ন মৌলিক সিম্বলিক আলগোরিদিম অপ্টিমাইজেশন, সেইসাথে (reachability গেম জন্য) সময়-অনুকূল উইনিং কৌশল পাওয়ার জন্য পদ্ধতি প্রয়োগ করা হয়.
বর্তমান রিলিজের মধ্যে নতুন কী:
পাওয়া মন্তব্যসমূহ না