Formal Verification of Safety-Critical Aerospace Systems

Keyphrases

• Runtime Verification 100%
• Safety-critical 100%
• Formal Verification 100%
• Aerospace Systems 100%
• Formal Methods 66%
• Safety-critical Systems 66%
• Aerospace Applications 33%
• Non-deterministic 33%
• Formal Reasoning 33%
• Evaluation Framework 33%
• Evaluation Support 33%
• Reasoning Model 33%
• Theorem Proving 33%
• Formal Proof 33%
• Autonomous Aircraft 33%
• Populated Area 33%
• Verification Approaches 33%
• Vertical Takeoff 33%
• Landing Vehicle 33%
• Multicopter Drones 33%
• Safer Internet 33%

Computer Science

• Formal Verification 100%
• Safety Critical Systems 100%
• Formal Reasoning 50%
• runtime verification 50%
• Reasoning Model 50%
• Theorem Proving 50%
• Formal Theorem 50%