A survey of recent advances in SAT-based formal verification

Keyphrases

• Formal Verification 100%
• Recent Advances 100%
• SAT-based 100%
• Design Verification 33%
• Bounded Model Checking 33%
• Industrial Design 33%
• Conflict-driven Learning 33%
• Model Complete 33%
• Verification Method 33%
• Verification Problem 33%
• Crucial Aspect 33%
• Scalable Verification 33%
• Solver Technology 33%
• Efficient Verification 33%
• Late Development 33%

Computer Science

• Formal Verification 100%
• Design Verification 50%