Using Automated Theorem Provers to Certify Auto-generated Aerospace Software.

Ewen Denney, Bernd Fischer, Johann Schumann

Browse the full CADE paper archive.