3 ms·
Because of the early stage of our tool it would have to be the customer, like in consulting. Naturally, we will provide full formal proofs in as explicit detail
by ak1930 3y ago
Because of the early stage of our tool it would have to be the customer, like in consulting. Naturally, we will provide full formal proofs in as explicit detail as is desired, down to the axioms of the language we're working in.
- eimrine 3y agoI am not your client type of guy but at least I am fond of PVS-studio. They have a blog on 2 languages with revealing a lot of problems their product solves. Also they actively scan a lot of open-source software.