Towards Optimizing Certified Compilation in Flight Control Software ∗

No abstract is available for this paper.

• Publication year

  2010

• Venue

  Unknown venue

• Publication date

  Unknown publication date

• Fields of study

  Not labeled

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Formal Verification of Avionics Software Products

  2009cited by this paper
• Formal verification of a realistic compiler

  2009cited by this paper
• Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation

  2007cited by this paper
• Combination of Abstractions in the ASTRÉE Static Analyzer

  2006cited by this paper
• aiT: worst case execution time prediction by static program analysis

  2004cited by this paper
• Formal Verification of a Java Compiler in Isabelle

  2002cited by this paper
• SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION

  2001cited by this paper
• The design and implementation of a certifying compiler

  1998cited by this paper
• AIRBUS A320/A330/A340 electrical flight controls - A family of fault-tolerant systems

  1993cited by this paper

• Memory Simulations, Security and Optimization in a Verified Compiler

  2023cites this paper
• Program Logics for Certified Compilers

  2014cites this paper
• Chamois: agile development of CompCert extensions for optimization and security

  year unknowncites this paper