All from one, one for all: on model checking using representatives

Keyphrases

• State Graph 100%
• One-for-All 100%
• Equivalence Relation 40%
• Equivalence Class 40%
• Temporal Logic Properties 20%
• Checking Algorithm 20%
• Finite State 20%
• Sequence-based 20%
• Linear Temporal Logic 20%
• Reduced State 20%
• State Program 20%
• Infinite Sequences 20%
• Infinite Trace 20%
• Fairness Assumptions 20%
• Small States 20%
• Formula Rewriting 20%
• Coarse Equivalence 20%
• Full State 20%
• All-or-nothing 20%

Computer Science

• Model Checking 100%
• Equivalence Class 66%
• Equivalence Relation 66%
• Linear Temporal Logic 33%
• Program State 33%
• Model Checking Algorithm 33%
• Infinite Sequence 33%