Programming reflexes (Extended abstract)

Shlomi Dolev, Roman Manevich, Amit Rokach

نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

ملخص

Formal verification serves as the theoretical basis for the engineering task of correctness and performance (quality) assurance. State of the art model checking, automatic specification refinement and theorem proving are employed to tackle the often undecidable (as imposed by the halting problem) task of complete verification. In this paper we formalize, prove and demonstrate a new unobtrusive way to test a system during runtime. Invocation of actions and examination of reaction of the system and components of the system are examined in run time in an holistic abstract manner, namely, the current state (e.g., state snapshot) the executable (e.g., program) and the environmental current condition (e.g., operating system, hypervisor) are examined by invoking actions and examining the reactions without influencing the actual execution semantics.

اللغة الأصليةإنجليزيّة أمريكيّة
عنوان منشور المضيف2017 IEEE 16th International Symposium on Network Computing and Applications, NCA 2017
المحررونDimiter R. Avresky, Aris Gkoulalas-Divanis, Miguel P. Correia
الصفحات1-4
عدد الصفحات4
رقم المعيار الدولي للكتب (الإلكتروني)9781538614655
المعرِّفات الرقمية للأشياء
حالة النشرنُشِر - 8 ديسمبر 2017
الحدث16th IEEE International Symposium on Network Computing and Applications, NCA 2017 - Cambridge, الولايات المتّحدة
المدة: ٣٠ أكتوبر ٢٠١٧١ نوفمبر ٢٠١٧

سلسلة المنشورات

الاسم2017 IEEE 16th International Symposium on Network Computing and Applications, NCA 2017
مستوى الصوت2017-January

!!Conference

!!Conference16th IEEE International Symposium on Network Computing and Applications, NCA 2017
الدولة/الإقليمالولايات المتّحدة
المدينةCambridge
المدة٣٠/١٠/١٧١/١١/١٧

All Science Journal Classification (ASJC) codes

  • !!Artificial Intelligence
  • !!Computer Networks and Communications
  • !!Hardware and Architecture

بصمة

أدرس بدقة موضوعات البحث “Programming reflexes (Extended abstract)'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا