Report copyright - Tools you can trust: formal verification of compilers …...Execution time gcc -O0 CompCert gcc -O1 gcc -O3 X. Leroy (Inria) Trust in tools 2016-01-13 22 / 35 A tangible increase in
Please pass captcha verification before submit form