5 ms·

Open Source tools are way behind commercial software. Just look at PolySpace Code Prover for example: https://mathworks.com/products/polyspace-code-prover/ htt

by lugus35 10y ago

Open Source tools are way behind commercial software. Just look at PolySpace Code Prover for example: https://mathworks.com/products/polyspace-code-prover/ https://mathworks.com/products/polyspace-code-prover/ ou PolySpace bug finder : https://mathworks.com/products/polyspace-bug-finder/ https://mathworks.com/products/polyspace-bug-finder/

michaelt 10y ago
Have you personally used those tools? On what sort of projects?