7 ms·
You could potentially hit your codebase with CBMC using model assertions. Its basically what you already know in the TLA+ world but targeted against C++ code.
by jkbbwr 4y ago
You could potentially hit your codebase with CBMC using model assertions.
Its basically what you already know in the TLA+ world but targeted against C++ code.