Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
c-light
Связанные издания:
A Formal Approach to the Error Localization
Automated Sisal program verification with ACL2
Automatic C Program Verification Based on Mixed Axiomatic Semantics
Experiments on self-applicability in the C-light verification system
Experiments on self-applicability in the C-light verification system. Part 2
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
The Mixed Axiomatic Semantics Method
Towards Automatic Deductive Verification of C Programs over Linear Arrays
Towards Automatic Deductive Verification of C Programs Over Linear Arrays
Towards Automatic Verification of C-Light Programs. Mixed Axiomatic Semantics of C-Kernel Language
Towards C-light Program Verification: Overcoming the Obstacles
Two-level mixed verification method of C-light programs in terms of safety logic
Verifying the Standard C Library: the C-light Approach
Автоматическая верификация программ на языке C-LIGHT
Автоматическая верификация С-программ на основе смешанной аксиоматической семантики
Атрибутные аннотации и их применение в дедуктивной верификации С-программ
Верификация С-программ на основе смешанной аксиоматической семантики
Верификция Си-программ: объяснение условий корректности и стандартная библиотека
На пути к автоматической верификации программ на языке C-light. Смешанная аксиоматическая семантика языка C-kernel
На пути к верификации C-программ, язык C-light и его трасформационная семантика
На пути к верификации С-программ. Часть 1. Язык C-LIGHT
Ориентированный на верификацию язык C-light
Разработка самоприменимой системы верификации. Теория и практика