3 ms·
It's also possible to formally verify C++, [0][1] but this isn't commonly done. I imagine it's very labour intensive. [0] https://www.eschertech.com/products/e
by MaxBarraclough 6y ago
It's also possible to formally verify C++, [0][1] but this isn't commonly done. I imagine it's very labour intensive.
[0] https://www.eschertech.com/products/ecv.php https://www.eschertech.com/products/ecv.php
[1] https://trust-in-soft.com/ https://trust-in-soft.com/