CAPABILITY OF TODAY’S PROGRAM VERIFICATION: A PRACTICAL APPROACH FOR BETTER QUALITY AND RELIABILITY IN INDUSTRIAL APPLICATIONS

Keyphrases

• Industrial Application 100%
• Software Program 100%
• Program Verification 100%
• Source Code Analysis 66%
• Automotive Industry 33%
• Everyday Life 33%
• Popular 33%
• Software Solution 33%
• Aerospace Industry 33%
• Static Analysis 33%
• Verification Method 33%
• Expected Benefits 33%
• Dynamic Testing 33%
• Industrial Area 33%
• Manual Review 33%
• Software Safety 33%
• Reliability Degree 33%
• Potential Errors 33%
• Automatic Verification 33%
• Security Level 33%
• Verification Effort 33%
• Complex Control System 33%
• Almost Everywhere 33%

Computer Science

• Industrial Application 100%
• Code Analysis 100%
• Program Verification 100%
• Empirical Test 50%
• Software Solution 50%
• Static Code Analysis 50%
• Expected Benefit 50%
• Critical Software 50%