This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Gcc certification
jf wrote:
Ok,
I think I better understand things now, I'm sorry I make you to lost you
time with my stupid questions.
regards,
JF
Not stupid at all. Very few people know about how certification
works. I certainly didn't until I got heavily involved in
certified Ada applications. But one thing I learned is that
you definitely need experts to guide you in the right direction.
In our company, we have built up quite a bit of knowledge about
certification, but we would not try to do this for ourselves or
for a customer without working closely with experts (we work
with the Verocel folks in the US, and Praxis in the UK).
Robert Dewar
AdaCore (since I say "our company" above, that's who I mean :-)