UPPAAL

UPPAAL 4.0.6

UPPAAL মডেলিং, বৈধতা এবং তথ্য ধরনের সঙ্গে বাড়ানো সময় শেষ automata, নেটওয়ার্ক, (bounded ইন্টিজার, অ্যারে, ইত্যাদি) হিসাবে স্থাপিত বাস্তব সময় সিস্টেমের যাচাইয়ের জন্য একটি সমন্বিত টুল পরিবেশ.UPPAAL Cora রহমান এবং AMETIST প্রকল্পের অংশ হিসাবে UPPAAL দল...

UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA UPPAAL [BDL04] একটি এক্সটেনশন এবং এটি reachability এবং নিরাপত্তা বৈশিষ্ট্য সম্মান সঙ্গে সময় শেষ খেলা automata উপর ভিত্তি করে গেম সমাধানের জন্য প্রথম দক্ষ অন মাছি অ্যালগোরিদম প্রয়োগ করা.দীর্ঘ সময় শেষ গেম নির্ধার্য হিসেবে পরিচিত হয়েছে যদিও...

xmmsctrl

xmmsctrl 1.9

xmmsctrl কমান্ড লাইন থেকে xmms নিয়ন্ত্রণ করার জন্য একটি ছোট ইউটিলিটি. xmmsctrl এর লক্ষ্য, যেমন xmms রাষ্ট্র পরীক্ষা এবং একটি যথাযথ ব্যবস্থা সঞ্চালন sh সঙ্গে মিলিত ব্যবহার করা হয় বাজানো, তাহলে অন্য খেলুন বিরতি.এই স্বার্থ / পরবর্তী / বিরতি, পূর্ববর্তী,...