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...

Whakaahuatanga katoa

Ngā taipitopito rārangi puna kōrero

Ngā kaituhi matua:	I. S. Zakharov, E. M. Novikov
Hōputu:	Artigo
Reo:	Inglês
I whakaputaina:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Rangatū:	Труды Института системного программирования РАН
Ngā marau:	операционная система монолитное ядро качество программной системы статическая верификация формальная спецификация декомпозиция программной системы модель окружения
Urunga tuihono:	https://ispranproceedings.elpub.ru/jour/article/view/417
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!