Automatic C Program Verification Based on Mixed Axiomatic Semantics

Automatic C Program Verification Based on Mixed Axiomatic Semantics

Show other versions (1)

The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process. The mixed axiomatic semantics proposes a choice between simplified and full-strength deduction rules depending on program objects and their pr...

Full description

Bibliographic Details
Main Authors:	I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev
Format:	Article
Language:	English
Published:	Yaroslavl State University 2013-12-01
Series:	Моделирование и анализ информационных систем
Subjects:	верификация операционная семантика аксиоматическая семантика язык c язык c-light язык c-kernel частичная корректность acsl llvm simplify
Online Access:	https://www.mais-journal.ru/jour/article/view/157

Similar Items

Automatic C Program Verification Based on Mixed Axiomatic Semantics
by: I. V. Maryasov, et al.
Published: (2013-01-01)

C-programs Verification on Basis of Mixed Axiomatic Semantics
by: I. S. Anureev, et al.
Published: (2010-09-01)

C Program Verification: VC Explanation and the Standard Library
by: A. V. Promsky
Published: (2011-12-01)

Towards the ’Verified Verifier’. Theory and Practice
by: D. A. Kondratyev, et al.
Published: (2014-12-01)

C Program Verication in the Multilanguage System Spectrum
by: V. A. Nepomniashy, et al.
Published: (2010-12-01)

Deductive Verification of Telecommunication Systems Written in C
by: I. S. Anureev
Published: (2015-03-01)

Deductive Verification of Telecommunication Systems Written in C
by: I. S. Anureev
Published: (2012-01-01)

Typical Examples of Atoment Language Using
by: I. S. Anureev
Published: (2011-12-01)

Attribute Annotations and Their Use in C Program Deductive Verification
by: M. M. Atuchin, et al.
Published: (2011-12-01)

Proto-Slavic *kŭrkŭ: Semantics and Etymology
by: Mikhail N. Saenko
Published: (2021-02-01)

СЕМАНТИКА ЦВЕТООБОЗНАЧЕНИЙ В АРАБСКОМ ЯЗЫКЕ.
by: Б. Н. Джубатова., et al.
Published: (2016-01-01)

Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
by: Ilya V. Maryasov, et al.
Published: (2017-12-01)

Праслав. *čerěnъ и *černъ. I. Свод печи
by: Михаил Николаевич Саенко
Published: (2023-12-01)

Methods of General Lexicographic Description (on the Example of the Word Guest in Russian Language
by: - Tall Useinu
Published: (2011-03-01)

Сравнительный анализ словенских частиц še и že на фоне русского языка
by: Мария Львовна Кулешова
Published: (2020-06-01)

Название леса в тувинском языке в сопоставлении с другими тюркскими языками
by: Marianna M. Lopsan
Published: (2016-08-01)

The Perfect in Old Church Slavonic: Was It Resultative?
by: Vladimir A. Plungian, et al.
Published: (2017-12-01)

Dialectical approach to study lexico-semantic fields of beauty and ugliness in German
by: N V Popova
Published: (2010-03-01)

Semantic and stylistic pecularities of Slavicisms in language of modern newspapers
by: J K Kiinova
Published: (2012-12-01)

The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination
by: Dmitry Kondratyev, et al.
Published: (2018-10-01)

Basis Statements of the Truth Theory with the Truth Operator
by: S A Pavlov
Published: (2009-09-01)

Towards Deductive Verification of C Programs with Shared Data
by: M. U. Mandrykin, et al.
Published: (2018-10-01)

Современные семантические исследования в области сербского языка
by: Стефан Милошевич
Published: (2021-12-01)

ON THE LEXICOGRAPHIC DESCRIPTION OF PHRASEOLOGICAL UNITS OF OSSETIAN LANGUAGE
by: Larisa Batrazovna Morgoeva
Published: (2019-01-01)

Operational Semantics of Annotated Reflex Programs
by: Igor S. Anureev
Published: (2019-12-01)

Secondary Colour Terms in the English and Ukrainian Fiction
by: I A Gerasimenko, et al.
Published: (2015-12-01)

Логика и реальность
by: Igor V. Pavlenko
Published: (2019-07-01)

Способы выражения категории аппроксимативности в русском языке в сопоставлении с ее эквивалентами в персидском языке
by: Резван Хасан-заде
Published: (2021-02-01)

Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs
by: I. V. Maryasov, et al.
Published: (2015-12-01)

Источники заимствованных слов в русском языке
by: Bara Ali Abdul Karim, et al.
Published: (2022-12-01)

The verbal conflict in Russian fairy tales
by: P N Khromenkov
Published: (2016-12-01)

РЕГУЛЯТИВНОСТЬ НЕЙТРАЛЬНОЙ ЛЕКСИКИ В КОНТЕКСТЕ АВТОРСКОГО ИДЕОСТИЛЯ
by: Larisa B. Morgoeva
Published: (2021-06-01)

MINORITY LANGUAGES, MARGINALIZED LANGUAGES, MINORITIZED LANGUAGES OR LANGUAGE IN A MINORITIAL SITUATION? ATTEMPTED DEFINITION AND PERFORMANCES
by: Antoine Pascaud
Published: (2017-12-01)

VERB AS A MEANS OF STATIC SPATIAL LOCALIZATION EXPRESSION IN THE KHANTY LANGUAGE (AS BASED ON OF THE SHURYSHKAR DIALECT)
by: Galina Leonidovna Nakhrachеva
Published: (2018-02-01)

Tuvan-Khakass lexico-semantic correspondences in verbs of behavior
by: Maria D. Chertykova
Published: (2020-03-01)

Semiotics of Comic in Spanish Anecdote
by: Yu V Tarasenkova
Published: (2014-12-01)

On the Study of the Informal Language of Russian Charity
by: Elena Dmitrievna Bondarenko
Published: (2020-09-01)

Праславянские *gromъ и *groza: этимологические рассуждения
by: Krzysztof Tomasz Witczak, et al.
Published: (2021-02-01)

Когнитивно-семантические типы калмыцких пословиц
by: Евгений Евгеньевич Иванов
Published: (2024-03-01)

Semantic Features of Numerals in the Armenian-Kypchaksky Monument “Code of Laws” (“Төре Бітігі”)
by: Nurila Gabbasovna Shaymerdinova, et al.
Published: (2017-12-01)