Proving absence of starvation by means of abstract interpretation and model checking

Keyphrases

• Resume 100%
• Abstract Model 100%
• Starvation 100%
• Abstract Interpretation 100%
• Multi-task 50%
• Tightly Coupled 50%
• Application Software 50%
• Concurrency 50%
• Standard Interface 50%
• Software Standards 50%
• Safety-critical Software Systems 50%
• ARINC 653 50%
• Coupled Tasks 50%
• Avionics Applications 50%

Computer Science

• Model Checking 100%
• Abstract Interpretation 100%
• Multiple Task 50%
• Application Software 50%
• Concurrency 50%
• Interface Standard 50%
• Software Systems 50%
• Critical Software 50%
• Avionics 50%