Efficient SAT-based bounded model checking for software verification

Keyphrases

• SAT-based 100%
• Software Program 100%
• Software Verification 100%
• SAT-based Bounded Model Checking 100%
• Bounded Model Checker 100%
• Recursion 50%
• Reachability Properties 50%
• Source Code 50%
• Formal Analysis 50%
• Largest Subset 50%
• Block-based 50%
• Boolean Circuits 50%
• Circuit Representation 50%
• Automatic Verification 50%
• SAT-based Analysis 50%
• Property Violations 50%
• Pointer Arithmetic 50%
• Results-based 50%
• Performance Gains 50%
• Prototyping Tools 50%
• Network Protocols 50%
• Representation Basis 50%

Computer Science

• Model Checking 100%
• model checker 100%
• Software Verification 100%
• Experimental Result 50%
• Performance Gain 50%
• Case Study 50%
• Back End 50%
• Network Protocols 50%
• Boolean Circuit 50%
• Source Coding 50%