Extending model checking with dynamic analysis

Keyphrases

• C Program 33%
• Coverage Information 33%
• Dynamic Analysis 100%
• Flight Software 33%
• Low Overhead 33%
• Model Checker 33%
• Model Checking Techniques 33%
• Native Code 33%
• Program Verification 33%
• Software Module 33%
• SPIN Model Checker 33%
• System Reset 33%
• System Use 33%
• Test Harness 33%

Computer Science

• C Program 16%
• Checking Technique 16%
• Driven Verification 33%
• Dynamic Analysis 100%
• Information Coverage 16%
• Language Implementation 16%
• model checker 33%
• Model Checking 100%
• Program Verification 16%
• Software Module 16%