Automatic symbolic compositional verification by learning assumptions

Keyphrases

• Compositional Verification 100%
• Compositional Reasoning 100%
• Active Learning 50%
• Computational Requirements 50%
• Learning Algorithm 50%
• Fully Automated 50%
• Partitioning Algorithms 50%
• Model Checker 50%
• Automated Approach 50%
• Verification Task 50%
• Verification Tool 50%
• Regular Languages 50%
• L* Algorithm 50%
• Symbolic Model Checking 50%
• Variable Clustering 50%
• Hypergraph Partitioning 50%
• Balanced Clustering 50%
• Symbolic Implementation 50%
• Assume-guarantee Reasoning 50%
• User Guidance 50%
• NuSMV 50%

Computer Science

• Active Learning 100%
• Learning Algorithm 100%
• Model Checking 100%
• model checker 100%
• Regular Language 100%
• Fully Automated Approach 100%