SAFRAM: certified efficiency and quality