-
a decidability result for the model checking of infinite-state systems
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 731
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
we present a decidability result for the model checking of a certain class of properties that can be conveniently expressed as ground formulae of a first-order temporal fragment. the decidability result is obtained by importing into the context of model-checking problems some techniques developed for the combination of decision procedures for the satisfiability of constraints. the general decidability result is then specialized for checking properties of particular interest, such as liveness and safety, and, for the latter case, a more optimized algorithm has been proposed.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
سنجش وضعیت مبلمان شهری شهر ضیاءآباد استان قزوین براساس استانداردهای مبلمان شهری
-
رتبه بندی راه کارهای ارائه شده در راستای تحول پذیری مدارس تیزهوشان تبریز در ارتباط با رشته های علوم انسانی با استفاده از فرایند تحلیل شبکه ای
-
بررسی خصوصیات دینامیکی ماسه در سطوح مختلف اشباع با دستگاه برش ساده تناوبی
-
بررسی پاسخ یک قاب دو بعدی با جدا سازی پایه تحت اثر بار باد در شهر کرمانشاه
-
localization in elasto-plastic materials: influence of an evolving yield surface in biaxial loading conditions
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
مقایسه ی ارتباط تعهد مذهبی با میزان پایداری ازدواج در دو گروه از زوجین متقاضی طلاق و عادی شهر تهران
-
مقایسه رابطه پیشرفت تحصیلی با درگیری تحصیلی، سرسختی و ادراک محیط کلاس بین دانش آموزان دختر و پسر
-
بررسی تاثیر هوش بازاریابی بر نوآوری سازمانی در شهرک صنعتی طوس مشهد
-
جایگاه بانک تعیین شده در عرصه اعتبارات اسنادی
-
study on the effect of rainfall level on the size of silver nanoparticles synthesized by plants of the lamiaceae family in different regions of iran
سوال خود را در مورد این مقاله مطرح نمایید :