Вы здесь

Главная

acsl

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

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
Автоматическая верификация С-программ на основе смешанной аксиоматической семантики
Верификция Си-программ: объяснение условий корректности и стандартная библиотека