Memory-Efficient Tactics for Randomized LTL Model Checking

Keyphrases

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

Computer Science

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