Model checking
9 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
VerificationConcurrent verificationAbstraction refinementHardware verification
program-analysis
- Bounded model checkingSAT unrollingstandardprogram-analysis
- Explicit-state model checkingState-space explorationstandardprogram-analysis
- Symbolic model checkingBDD state setsspecialistprogram-analysis
- Partial order reductionstandalonespecialistprogram-analysis
- CEGARCounterexample-guided refinementspecialistprogram-analysis
- IC3Property-directed reachabilityspecialistprogram-analysis
- K-inductionStrengthened inductive unrollingspecialistprogram-analysis
- Interpolation-based model checkingCraig interpolant overapproximationspecialistprogram-analysis
vlsi-eda
- Equivalence checkingMiter plus SAT sweepingstandardvlsi-eda