Вы здесь

Главная

c-kernel

Связанные издания:

Error-tracing axiomatic semantics for C-kernel
Автоматическая верификация С-программ на основе смешанной аксиоматической семантики
Атрибутные аннотации и их применение в дедуктивной верификации С-программ
Верификация С-программ на основе смешанной аксиоматической семантики
На пути к автоматической верификации программ на языке C-light. Смешанная аксиоматическая семантика языка C-kernel
Применение смешанной аксиоматической семантики языка c-kernel к верификации программы топологической сортировки