4 ms·
GOTO is back ! So glad to see CBMC used. I used to write translators to GOTO for simple code checking and was wondering where the recent state of the art was. T
by touisteur 2mo ago
GOTO is back ! So glad to see CBMC used. I used to write translators to GOTO for simple code checking and was wondering where the recent state of the art was. Thanks for the pointers.
Did you have a look at why3 and generating verification conditions from Rust or C code (as frama-c does) ?