Incremental development of environment model and requirement specifications for subsystems of operating system monolithic kernels
Methods and tools for automated static verification aim at detecting all violations of checked requirements in target programs under certain assumptions even without complete models and formal specifications. The given feature form a basis of the suggested method for incremental development of envir...
Kaydedildi:
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2018-10-01
|
| Seri Bilgileri: | Труды Института системного программирования РАН |
| Konular: | |
| Online Erişim: | https://ispranproceedings.elpub.ru/jour/article/view/417 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|