بهبود روش وارسی مدل با استفاده از تعبیر مجرد
پویا پرتو
بهبود روش وارسی مدل با استفاده از تعبیر مجرد
المؤلف
پویا پرتوطبع 1
قائمة
شناسنامه
المدخل الرئيسي
پرتو، پوریا، نویسندهالعنوان واسم المؤلف
بهبود روش وارسی مدل با استفاده از تعبیر مجرد / پویا پرتوالمواصفات الشكلية
چهار، 84 ص.؛ یک عدد لوح فشرده.الموضوع
وارسي مدلModel Checking
معنیشناسی
Semantics
درستييابي صوري
Formal verification
برنامههای کامپیوتری
Computer programs
منطق موجهات
Modality (Logic)
تعبیر مجرد Abstract Interpretation
اللغة
فارسی