Model driven code checking

Keyphrases

• Model Checker 100%
• High-level Model 100%
• Code Checking 100%
• Level of Implementation 100%
• Design Model 50%
• Formal Verification 50%
• Safety Properties 50%
• Distributed Systems Design 50%
• Checking Method 50%
• Code Verification 50%
• Abstract State Space 50%
• Verification Process 50%
• High-level Design 50%
• Software Code 50%
• Liveness Properties 50%

Computer Science

• model checker 100%
• Model Checking 50%
• Formal Verification 50%
• Verification Process 50%
• Liveness Property 50%
• Abstract State Space 50%
• Level Design Model 50%
• Distributed System 50%