REGULAR MODEL CHECKING UPSIDE-DOWN: AN INVARIANT-BASED APPROACH

Keyphrases

• Automata 100%
• Upside down 100%
• Regular Model Checking 100%
• Invariant-based 100%
• Safety Properties 66%
• From below 33%
• Representable 33%
• Regular Set 33%
• Non-regular 33%
• Inductive Invariants 33%
• PSPACE-complete 33%
• Infinite-state Systems 33%
• EXPSPACE 33%
• CNF Formulas 33%
• Finite Words 33%
• 0-complete 33%
• Transition Relation 33%
• Length-preserving 33%

Computer Science

• Invariant 100%
• Automaton 100%
• Model Checking 100%
• Transition Relation 33%
• Initial Configuration 33%