все параметры
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Источник: cbmc  ]

Пакет: cbmc (5.10-5)

Ссылки для cbmc

Screenshot

Ресурсы Debian:

Исходный код cbmc:

Сопровождающий:

Внешние ресурсы:

Подобные пакеты:

bounded model checker for C and C++ programs

CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.

Другие пакеты, относящиеся к cbmc

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка cbmc

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
kfreebsd-i386 10 580,3 Кб47 878,0 Кб [список файлов]