Вы здесь

Главная

c-программа

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

Multi-prover Verification of C Programs
Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов
Анализ регионов для дедуктивной верификации Си-программ
На пути к верификации C-программ. Часть 3. Перевод из языка C-light в язык C-light-kernel и его формальное обоснование
Система анализа и верификации С-программ СПЕКТР-2