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
מזהי עצם דיגיטלי (DOIs)
סטטוס פרסוםפורסם - 8 דצמ׳ 2017
אירוע16th IEEE International Symposium on Network Computing and Applications, NCA 2017 - Cambridge, ארצות הברית
משך הזמן: 30 אוק׳ 20171 נוב׳ 2017

סדרות פרסומים

שם2017 IEEE 16th International Symposium on Network Computing and Applications, NCA 2017
כרך2017-January

כנס

כנס16th IEEE International Symposium on Network Computing and Applications, NCA 2017
מדינה/אזורארצות הברית
עירCambridge
תקופה30/10/171/11/17

ASJC Scopus subject areas

  • ???subjectarea.asjc.1700.1702???
  • ???subjectarea.asjc.1700.1705???
  • ???subjectarea.asjc.1700.1708???

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Programming reflexes (Extended abstract)'. יחד הם יוצרים טביעת אצבע ייחודית.

פורמט ציטוט ביבליוגרפי