Using language inference to verify omega-regular properties

Keyphrases

• Fixpoint 100%
• Regular Property 100%
• Infinite-state Systems 100%
• Language Inference 100%
• ω-regular Properties 100%
• Machine Learning-based Approach 66%
• Complementary Method 33%
• Learning Algorithm 33%
• Verification Method 33%
• Liveness 33%
• Finite alphabet 33%
• Regular Languages 33%
• Novel Machine 33%
• L* Algorithm 33%
• Transition Relation 33%
• Finite State Transducer 33%
• Regular Model Checking 33%
• Regular Set 33%
• Length-preserving 33%

Computer Science

• Machine Learning-Based Approach 100%
• Model Checking 50%
• Liveness 50%
• Regular Language 50%
• Transition Relation 50%