A practical approach to coverage in model checking

Keyphrases

• Coverage Metrics 100%
• Formal Verification 50%
• Checking Algorithm 50%
• Linear Temporal Logic 50%
• Automata-based Model Checking 50%
• Automata over Infinite alphabets 50%
• Verification Process 50%
• Model Checking Tools 50%
• Coverage Problem 50%

Computer Science

• Model Checking 100%
• Automaton 66%
• Formal Verification 33%
• Model Checking Algorithm 33%
• Model Checking Problem 33%
• Linear Temporal Logic 33%
• Verification Process 33%