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