Loading…
Academic Journal
Integration Points of Operating System Verification Techniques
A. K. Petrenko, V. V. Kuliamin, A. V. Khoroshilov
Труды Института системного программирования РАН, Vol 27, Iss 5, Pp 175-190 (2018)
Saved in:
| Title | Integration Points of Operating System Verification Techniques |
|---|---|
| Authors | A. K. Petrenko, V. V. Kuliamin, A. V. Khoroshilov |
| Publication Year |
2018
|
| Source |
Труды Института системного программирования РАН, Vol 27, Iss 5, Pp 175-190 (2018)
|
| Description |
In this work the problem of high quality verification techniques applicable for operating systems is formulated. A perspective approach to solve this problem is integration of various verification methods. The solution technique can be considered successful if it allows to check the whole operating system and to verify in more accurate way the most important functions and components of the system, using more strict and formal methods for it. Based on the ISP RAS experience in operating system verification projects conducted using various verification techniques we determine development artefacts, that can be suitable integration point candidates for integration of formal specification based static and dynamic verification techniques for operating systems.
|
| Document Type |
article
|
| Language |
English
Russian |
| Publisher Information |
Ivannikov Institute for System Programming of the Russian Academy of Sciences, 2018.
|
| Subject Terms | |
