CompCert

binutils · Post by **binutils** » Sun Apr 06, 2008 4:38 am

Xavier Leroy wrote: The CompCert project investigates the formal verification of realistic compilers usable for critical embedded software. Such verified compilers come with a mathematical, machine-checked proof that the generated executable code behaves exactly as prescribed by the semantics of the source program. By ruling out the possibility of compiler-introduced bugs, verified compilers strengthen the guarantees that can be obtained by applying formal methods to source programs.

inflater · Post by **inflater** » Sun Apr 06, 2008 5:07 am

Holy hell

You do realize you're a spammer?

binutils · Post by **binutils** » Sun Apr 06, 2008 7:07 am

Holy no! :D

nekros · Post by **nekros** » Sun Apr 06, 2008 12:19 pm

You are a hit'n-run poster.

binutils · Post by **binutils** » Mon Apr 07, 2008 9:30 am

urm, no. maybe i would think of myself just like that about 10 years ago. :)

nekros · Post by **nekros** » Mon Apr 07, 2008 9:36 am

this was a hit and run post.

binutils · Post by **binutils** » Mon Apr 07, 2008 9:48 am

then you groupie post. :p

nekros · Post by **nekros** » Mon Apr 07, 2008 9:56 am

binutils · Post by **binutils** » Mon Apr 07, 2008 10:01 am

gang post

nekros · Post by **nekros** » Mon Apr 07, 2008 10:12 am

what do you mean?

binutils · Post by **binutils** » Mon Apr 07, 2008 10:25 am

i dunno, just came up in my mind.