بهبود روش وارسی مدل با استفاده از تعبیر مجرد
پویا پرتو
بهبود روش وارسی مدل با استفاده از تعبیر مجرد
Author
پویا پرتوEdition 1
list
شناسنامه
Main Entry
پرتو، پوریا، نویسندهTitle and Author
بهبود روش وارسی مدل با استفاده از تعبیر مجرد / پویا پرتوPhysical Description
چهار، 84 ص.؛ یک عدد لوح فشرده.Subject
وارسي مدلModel Checking
معنیشناسی
Semantics
درستييابي صوري
Formal verification
برنامههای کامپیوتری
Computer programs
منطق موجهات
Modality (Logic)
تعبیر مجرد Abstract Interpretation
Language
فارسی