caxapa.ru :: SCOOT statically analyses systems described using SystemC and extracts models that can be passed to verification tools such as SatAbs or CBMC. ->

Evgeny_CD, Архитектор (30.09.2015 22:54, просмотров: 168) ответил Evgeny_CD на CBMC is a Bounded Model Checker for C and C++ programs. It supports C89, C99, most of C11 and most compiler extensions provided by gcc and Visual Studio. -> While CBMC is aimed for embedded software, it also supports dynamic memory allocation

SCOOT statically analyses systems described using SystemC and extracts models that can be passed to verification tools such as SatAbs or CBMC. -> http://www.cprover.org/scoot/

Ответить

Средства и методы разработки