Tackling large verification problems with the swarm tool

Keyphrases

• Memory Size 100%
• Verification Problem 100%
• Processing Speed 50%
• Low Speed 50%
• Main Memory 50%
• Desktop Computer 50%
• Model Checking Tools 50%
• Logic Model Checking 50%
• Multicore Systems 50%
• Large Memory 50%
• CPU Core 50%

Computer Science

• Processing Speed 100%
• Model Checking 100%
• Main Memory 100%
• Multicore System 100%