The Complex Approach of the C-lightVer System to the Automated Error Localization in C-programs

The C-lightVer system for the deductive verification of C programs is being developed at the IIS SB RAS. Based on the two-level architecture of the system, the C-light input language is translated into the intermediate C-kernel language. The meta generator of the correctness conditions receives the...

Celý popis

Podrobná bibliografie

Hlavní autoři:	Dmitry A. Kondratyev, Alexei V. Promsky
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	Yaroslavl State University 2019-12-01
Edice:	Моделирование и анализ информационных систем
Témata:	deductive verification semantic label error localization c-lightver acl2 metavcg definite iteration proof strategy
On-line přístup:	https://www.mais-journal.ru/jour/article/view/1273
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!