الرجوع
الصوت
المظهر
تسجيل الدخول
أنت تتصفح نسخة مؤرشفة من الموقع
اضغط للانتقال إلى الموقع الجديد بكامل المزايا
علامة (يتطلب تسجيل الدخول)
تم الحل (يتطلب تسجيل الدخول)
Question 25/96
Which method was employed to verify the security policies of the AAMP7 microprocessor?
ACL2 theorem prover
PRISM model checker
LOTOS
Kronos model checker
Previous
Next