Partial-order reduction techniques for real-time model checking

Computer Science

• Feature Space 100%
• Partial Order Reduction 100%
• Model Checking 100%
• High Dimensionality 50%
• Storage Requirement 50%
• Classification Task 50%
• Text Classification 50%
• Nearest Neighbors Classifier 50%
• Text Categorization 50%