Memory-Efficient Tactics for Randomized LTL Model Checking

Keyphrases

• Memory Efficiency 100%
• LTL Model Checking 100%
• Token 50%
• State-making 50%
• Execution Time 50%
• Random Walk 50%
• Randomized Algorithms 50%
• Explicit State 50%
• Scalable Model 50%
• Large Animal Model 50%
• Alternative Tactics 50%
• Small Fraction 50%
• TL Properties 50%
• Naive Approach 50%

Computer Science

• Model Checking 100%
• Accepting Path 100%
• Execution Time 50%
• Randomized Algorithm 50%
• Naïve Approach 50%
• Accepting State 50%
• Probability 50%
• Random Walk 50%