10 years of correctness and quality