Towards Automatic Deductive Verification of C Programs over Linear Arrays

Kondratyev, Dmitry A.; Maryasov, Ilya V.; Nepomniaschy, V. A.

doi:10.1007/978-3-030-37487-7_20

Cited by 3 publications

(16 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…После исполнения итерации вышеприведенный участок кода заменится на: УК [117,118,121,144]. Для стратегии усиления УК сформулирована и доказана теорема о корректности [123,125].…”

Section: модуль доказательства условий корректностиunclassified

“…Опишем применение комплексного подхода к программам на языке C [117,118,121,126]. Рассмотрим созданную в результате работы, описанной в данной диссертации, модифицированную систему C-lightVer [17,19,114,121].…”

Section: применение разработанных методов для дедуктивной верификации...unclassified

“…Рассмотрим созданную в результате работы, описанной в данной диссертации, модифицированную систему C-lightVer [17,19,114,121]. Опишем эксперименты по верификации программ с финитными итерациями на языке C-light с помощью модифицированной системы C-lightVer [117,118,121,144].…”

Section: применение разработанных методов для дедуктивной верификации...unclassified

“…) [55]. Новейший стандарт C++20 [166] международные научно-практические конференции PSI-2017 [114], PSI-2019 [118], TOOLS-2019 [125], SIBIRCON-2019 [123], TMPA-2015 [18,167], международные семинары PSSV-2017 [145], PSSV-2018 [120], PSSV-2019 [127],…”

Section: Introductionunclassified

“…Положения, выносимые на защиту, описанные в работах c несколькими соавторами [4,24,25,106,[117][118][119][120][121][122][123][124][125][126][127][128][129][130][144][145][146][147][148], получены лично автором.…”

Section: Introductionunclassified

See 4 more Smart Citations